SQLite format 3@ . BBh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_timings" BLOB, "ml_statistics" BLOB, "task_statistics" BLOB, "errors" 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 1 l{b 0?=GV6'D, ku@;Dī^gub9G'OgYZ7zXZִF! ]ŗXiɟ1˦r pt#M&")ohEdu $^Jd+R/ :!Nzx+jR}"zb(Ӟ_dxiyB],wDŊ8Sr4D],R}$9F癕)Z]ȓ8F<29j_<10/c(UÿWV۝,8b?bKmǑ(L9ݚ͟"RL9+]4 EyYU'5;gYZ7zXZִF! <]ŗXi%;cgb#TfG't(\~iNL~^*EC[]yc|Y0φ=cs lg5+G^0-'vj~T=$)M`^ÉВsTnn#~2V'|`>!8o04c͙Z 7 0匽(t,Y[$HU5?a{ "1ynP,A9,z`qy"o pV_oRȰ6@O@ʩTZ`_2Eq*ok%9d2IJ<퍞Ђ3}l4ZۜlOϬKN?mOƑ҂u6[+vɫʕ"=o #?5e/zBΤJ5Y#Ӝp_'C{CD }"k{UjVzuY6:*o)(9iXf0k*Gy ?C"֥KDj 3x~#jV1*(˪Ĩk\Qryq;8W1LD_wu;=  /QlaG*uB) W+hhV1/QbF ,d@P6 vK:|,؞g]N #@^玽-/L1 b MI '*P.(JF$^Oyk9mQ+S11T+0}|^ړc] ifC+z}} B%\XSlWV!(PlÖ:rœwC);51=7ꢘ q ~ b/Q;C_~.bn5o5b/ljRfM~wAȠhl-ҽΪ_owpvlŽ8|b`F4w{NIgRWD 2-Xm;b.-y=gYZ53a3889a8db59e5fddaa2df93820293744b37ae579d8e835726df87c7b301a8f091eddccadfabbca 3a4e921837e7e81c84e3eeedbf2fa8cd3538b9ef 1 Concurrent_Ref_Alg