SQLite format 3@ .;  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_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 ##Z \| ] ZF-UNITY:threads=6elapsed=6.086cpu=31.820gc=1.232factor=5.237zXZִF! ]ŗXf1-WHIk0p䋎dh֨/+a"Oj1_E?YgmS%b KFuS4EGEy N"K}pqi6Ó3hU  x跆X&SϦ*w^h?ge5>dbhLBmc1ULyNR\?Ho^x8Fĥl]JؤyVecU:[|'UHM֙, ֤ɕoy[|u<:ᛕVQ6* -Z8 a%6#=YƷ.(Ֆd)iG1zpkfd}6H޼f|*Sϫv2^E|~ DWpK0ؾS)?OgYZ7zXZִF! hg]ŗXiɟ9 i:4V;}A<<ګMP7h.ִ3I"% bzXwon<0*oX*9l ؒF%(6k3z-O>{d=oW*unq٫x on; /;պ1Qi-yZ<,[3fJ \ `tͦj)rD_o!XHga3kY"ed aa.?Gp̟ҶFAti#Vo$&N"C%TYNr<(ԪpWDB(m3K4c/׏..;"3 !vhʪҁ~ï-WIThh"iyІS2DlwͅG//\7s_.3װBI\[5lifK. kw]~һ c`À#wt3G;Dp0Գ- /7nlEL`AyW sQLrQ>!+*%n5\[CLa`@sp7L=]ړX|d=L^0])8x)ޯ*?&b1"DJZEwܾoD̽0G4z,He>Jl.zp: .W__BjZsDyxݷوnJ,l~?)>iHbAƿ`W[r 'E9>=XN:Fd)0n<lNo~eIAş4lWG`˺m{UY҇&~\XWxEvl))ק m#JqP=(yF}-0UnI8"PxGΐޚoCb