SQLite format 3@ - llB77#tableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "ml_statistics" BLOB, "task_statistics" BLOB, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info pL o/ JEdit:threads=2elapsed=0.808cpu=0.888gc=0.000factor=1.107zXZִF! Fy]ŗX  JEditf1-Tf>q(kBW'J C٭\XHi'sf5!gۿCbs 2נn\+Ի)8e WLx[gYZ7zXZִF! ^]ŗXi%Cߗa?P#kڍ 6R| 0;p멕ݢmI!S0@r?SNܺ^~a}tAi׉|s"qeL0?aTMIN{ChaW6uagwpdg qݓ@8yD2݈Q)*uМk hЗ1ni1}"r~v"cqJ~Z2|M_smQpFŪ=4?),@'%@e-$yrXX{_6cl @xPa>'.% {gYZ00d9b3663a5d556017d3d0f9d5c1ca97330f2c70 021fbb81f2e308c4c2078057e1e13fbb01cc7d84 08fa2e11111ec4419de00ab3ba39e90c2ff3f00c 0c5f9ca945ce4c7436997eeaa7b069ec038d06fc 0da98abebf4c1e8aa50e5f76933ef10b2b4f112d 1649a350f20a6d185e8e7b614a96daa599158e2f 2d949b4687a484bbd1fe34257c31d12c0b651ff6 4082beb843215d0167bc4e43ccd95ff6b1f0c2ac 440dbdd8c41bf0e612edbe4d8c169c5e94699ab9 457d02a572a0fdf5e6d683531094ab0706112941 49d9663a63a728e90dc3742e68583737c4776d41 4b174e346e2b2ef68e63381410770e342180497a 533202683c03a56eaf9e7054f446bf018fbc4821 550c68caff46e0e13ac2cee0a7219942a5b04eee 56ffdb180785554c41c0ecb9d25594329e0b78bd 7c882ef60da56a47bd7c4b2ece494c7eeb1acbad 8f194db846e67a7e87b25a27fa8ba1259c4af82d 9276c3fc9beba2aa896fe29e0304a56b25106ff3 95f843d608d95a195e5c8cb9a1ea08df6ff536a6 98ebcdcae9b91269bee4cc10954205963661fcc1 9fb9c931110ac7289e3c279810f90d07d2b1e664 a634d2977750efd14daaf8018feb1fdee3310b68 b549213b2aef49e3da5304ab78395d90a826e17d bb3555e141757c68f46b20f9207c4771f7c50cda c47fe18627ec350688645dfa34784ae6742ea8e0 c6ea457348aad54a01d5405ed5c077a607de3cf2 d77d851fa580681fd25aec9bbc7140d99800fb58 da1567c528c0591b76c11bbf612dc90f71ec564d e9ca265174fd241d0c8ae7786aa0b916cb55358d f67c55d0b5e0d52934ab5994b37c34d2ffe2d451 fa86c9e59aa74c202b6e17f662fa4fe243c58f65 fd2b02dded527fdedfb330e24b0df02361aff2bb fd4095e201be76ee010e945deebf2357386c636c ffd48d7d62b5d05388b8869a74ed650bac8bf741014fdf73a0b928fde39c061b3b448884e65fa152 f4f811683dcda440eaf96bee8739ce28e3523afa