SQLite format 3@ .  YYQ77Atableisabelle_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, "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 ee3 ޽LnvCf1,@i~jwW4hV0Ӊ'wbnPg.xzu"{)eyHS#:Y),G=Վ ݌9D4?vS/`C,p}4 h<Y!.@~ѽdamB[RnvraQ& *@ 1x3M>JLU:>FD;S83*}He ;F.&mD<{2?%(JM8)uo+cwL^],e;SA%R|q$pSsCuwj0%|8vkD{Lθ9fAVl,JKfWk'\,Iły>=󂻹x0_TAPAΡ`A1p !pgYZ7zXZִF! :]ŗXi%s 2ۛw$T!lc\t,Մ֛OWt-CReGLZ+?DgL'H؊0 mء;1* Ka'OY.a$)~> CZ5LD|9y8AZ6 x5S+Zw(?g |ݙitt/Y1P2r-saj wljj̴'wv8W%?ո.0be:+^u.{$s zVv3$,nw!ŊKf_!KDؠI) }zj>X@Ȕ AV3'}Zt\m-CK$9A^ 5uf^gL>6U0v[!@ Z5!IAL{x1T\|u]㓌.)pI SR"e)kquGϋ3? O1mrh*=@T#اؼr6N9ҩ)А/RJ.9)8`!خ<~= vR1̇dm@]ĮӺ]#ʫrw^JB_yMB- &te uX\-zxU~D+LHy4ʟTMi(@j QĿ!:p/|e^Ai˪QxiLPiUpae[J|Y@uEV1Q[6:Px/+!VnÐ~3[Q|nt'%6~~_4shdp%d9|14!aačE}!Nh iOrLtsǏ:⒂EK1s#$u;Y ϟ U_ kvPQ(bؿ"=ӌ*JDh-YȮ= ģu fȎu:gYZ1676ffa397c6b01245be886a0fc3465093811eca 43df4d75898a7594d38a58028c1d34e4c8433432 7a98efdec282cba4e95e46303dea9e18de8b49b2 9b0bfdee363ab88dfb53d18309548fdde932c30a af69fe4884476a8acbc0986000bacef6fe8b57dc b7c9c849f43935a28d59bc64edc0e16b8bdfc610 bc771762a05134324001f2675ab4d55bc2efabfc e09c5735ce29a5a97d451c9f6e7f4bc820d954349711977f48cd7397b3b03ce4fb09271962469dfd 76cc7bc16bacff3c41d173310297a26a15be33c9 0b0f6ffbe0f4770f3b2c25543ff441b61f7ff567 3 Selection_Heap_Sort