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 ;  ] pGCL:threads=2elapsed=35.503cpu=67.784gc=1.728factor=1.917zXZִF! ]ŗXf1-/6vR]uC)Y5aX%uBzٔd|Tƣ~z&Io-euKv[Z(n)222W$a"hs o:u)7K3|h"7C_^ZM?":|;w> R% %/t _`+q'lп4YLt9pjKU[L.a:jKž  pGCLl!Ƅop}길pzc|B{mR[Q/tt\S n)e!3ḱWVnM{#߯ tM( r؋>'\2e %JD dkNK*=mče+2^{PW^ܮΪȏ{ ks$Ʀ TXʹOkƟUbM% &@O9LuTPRQ^R.Tcg [-Wɰ: s:ϐݩbG`VC&Q +EHmKЕ/Oϡ ÝEl2rϫUSGVD;FQ gYZ7zXZִF! L|]ŗXiɟ: e=o݆$vo&Vx (41bgi 24Uyc}-7d_Hi3ݤCMF'z Nme7R湅j@ (&ݢ *J,wz ¨o. *ExZS^=G\9a'4Goy3]>1Fx 6\^ JzYX_2$>F'}dʎ]D_҅D Ivq;R WoղJbc96H|>9VF''хn?pio6Ƒ,c48UOw:G5L8 .pgYZ7zXZִF!  >]ŗXi%90ø]:pG/rcvn?0@B щ Kh7l&gxT Č;g ],doIvf|P7wɯŗVR =\^H>y_GsfLjY6UJO(+-K 6Jؗx% *ZUҦ)Zբ:=:FDvnMD#j*"h ;$~qMQq?a9ئmR C{ d YTT0I=&p\q%;8S⬴źO4f`*ʐ+4@U^I"Ӕ;E}HGxf|_j|fQN]0rvزrn"s@嚸Yr\Pu*P@9’ɿcR0 ~'7A2u,VyfrR䓅THsŘnpF7s/?=KMm Ȟs/2$D$߄IxXn*]nWMR?8xCӄbٍF/ߌbs_Ow*yXzI(T'K3ɐ 8}<# pjo unR4caAEX܃~tR=_;wc0# P5qD'GU}>vj3'vE8e1H2"r+:+ ׬,/IL.rѵ ɽ oymݟ*Fa"]pm7'eUz~ /CJ]AVu1V4%] TFvow"zè&OZekM6Ƕl  17!c5T$#BK{ߔۿG6b/_׉E^]O\0җpK@6ۤ\KG[,sF:;K %wvX]-?[^K7.?`R;^8vB.Oh ߆}v@`\aŧHmҡ)y CK%5,]J’FiӕJgu{#ܡaqH^tciٸ G^ s#3Uֽzh_~lSןÂ9,UFӘtD1 +c#%n5r<* юBL<ļ ɟ)qdPkSu,w,!xQ,wG9 xV<f >BD 鬒D1#'!Vgd'o!|u vq`%:, S5p%Ktݺ F~?4XOc#z'16ɿH[,CA+b*gL +?|7fKvnaLhpW1%aiv2aX펚oDJ5aT=IZp}qpn|υ{˒{MWbs\ Hz&p a\zcS63 *.gi]!d_M/ b276)`ͱ턬xkWh3H< ܁qCyoR~,7(F]#0QasX