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 c; l s/ Proof_Strategy_Language:threads=2elapsed=38.659cpu=73.672gc=1.816factor=1.917zXZִF! ]]ŗXf1-q恈NucvAݪ4 c?[2C IfW/a RIȗ:xj e4<8^|Nub@)$qĂ luOƁY啝ZWB9iUSr{Sk(gX t;⬳! )vq#vVG5>y;]; ^q$ Ѿ?vKHTuWʆ4bm I%6CDVNظPܝսEaC!l?!Jp)՝VQJ6{óç@}R#tP8RAsؕUrqDc}Rs,.A.}gYZ7zXZִF! ]ŗXi%!UUCq$y5:CMvNWO:&BEv_>Y0eǀz>= =_XuGG՜e+tGћ 5TEYy^Ⱥyã7}h$bZ)vy^O4Ww&o_{e#fz' Ovcջ3_{Xk  —qu:!}+Tr#PӍHe5uײCtR4R(l-C}`vth3TnXsҧ%Gfr "Rӻđ]002=;Zknq(븎ɦpPPJ1@] yݻf18Xs4g\uHTÃPDp͇N=yTk<ݔ$^O1`^學VIys0;%8%Z?8Yq)r⻩N ѝcNo_KG.ʿ>V` (=Cs{UEԿ7񕙂BH?+γfG6zc\Xv)2U"qr%y{]dy3B̚_HxpژP ^p"Mys݋WOݘ2Z7$`"/\r@Jt?0쓫mSQ5A+# !v5UcDӼl@7>ANˌ87#F)m`z-n-ZC -a9@jD8' q5},P! 0Pȇvmͭ]"fCN"Uyev ߚv%] 7 уAWMNH( m;t'}^ÀpXCy148B3)׶dr̓r*~HU:G&t=y S`Bw5q!ΎPm:qr0 v'Ș' Ud+b-D7jpNoI %Ri tsKBmTceC16N] N18O:ENGle!ӪRby{+&<+귶S _x(4:1oJ4-V%t8ȨH,Gje P lLn ^J0qB P^Põ -٨)VKaWrׇl٠-rjht^Ty҉Ȫ${>6nXk~_>r'#'gb!t9X]U ` xǿ XS3xt[#Ļk`ʫ}qKLLᣭs?MsXѭv*V&%ԻID*)I] gm-(8Jďw Kaf*=&A;P 6.'7?fр49\dEߒ- ITv꿹6+;dLؕ[h\m)? %Ad XcE- BlUHr7Ggx+ү$gɲ@ȸ{#I]ex:ΞϏ1gbzy FB>^Zs՚"ن(` 4?"8jl4,U$exN(;j;_.b-_CiJ "iXsud;,H^LtLLY^[eh:F1_ vvفwa4$N ky2c,PfPo, =ZKp