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   V l / FLP:threads=2elapsed=20.216cpu=38.904gc=1.304factor=1.927zXZִF! ]ŗXf1-/6vRZlh[`QA\LA_=c!z|@Qm6w4{;BDtFjkY+]{h/NHHB:.(j~]1^YoO%N~ѡ1ჟŽG+ \n"2}{1z6^t`RMG v\;9˛;w`1#j-l]NXiߓO-Y_st$!cW0v(nV,]NO |L58/$wLl Z F+e{ !m~z(hb o/cI~ :Ar."k6PmA:eԜ9x qcX!"Pљd2lQv]^RՊGqwG-,|-t#.\o_g`aigMTF`<ZGuiꁮ6KˑJ`:xeC o61H9oHvg4Tr8WpoKD$

V 24|nZ qu^d)\seZ{uIE,kc^!v9 (< XxHALDQRDcVׁ )OÂ=Yj<3RYdqB4N$F;HuDH\ڮƝYsYvO^`n־)K*ƦM~g"[oamBJ~J⸷#~lEu)&&5%uOU'M,:7uwo="kj ˞a{ѹRn*dpHa*&9._T~]EHq 0悮dʇQaU cC18O)Yw7"RD^D-K6 B+c"e\I?,;nG_ݐq΃ix1NkH\[J2©;(6SEVoQxJ$\uҚ2iB cAa?o V4e<JƦtQ[џx$nna45Wt^JAkSXhnӾMi|CK>bߡX4@K| H8  OS.VQ}4yU1eALbdmm^wqŌ+u%M~S􎲸puinEC/QzR_$4䘀$_m+S_Ut7"dܜ;8뙃&C$j2 C׳MA W%? >&{\8Lwa=[WP4#Z 1[ QcPsF4Æ&ʷUe>e~O[59 ?;x%I$n', DɅ9x gYZ7zXZִF! j]ŗXi%s qehlc(^u'!Y&t'T.¬m3VBxfs/i\Ӧ-)m}LvtslEvc(dDlQWr(l.?$z|=汬_ \>zuoqfħlbu=+p6Ynڌ\‚bΚ$,aR> |q.ұ?,>bQH;vk:Z 7Q]%uAtނʵ'E49iq@jO64p-iiLͩTGD$(+䯺lz ޯ/,_Pp,&sٱ jZ hgs{>T3Tkmc߰ #iS,\xFd(t5`NILӞE= !eeHCC'Q!s!G$&~JjI꽊:'[*A#iI]췒eT0a7NFYnWqSj:TfbrHa@vHHƒ $ꮃz"gRG+xT u@c3SȪR̤+Ĺb{74v_/ǿg\L_ $4↳MuND|"9&Hȁ~/zNodK~߁VpPY YfiXZ<|nX(P qs1թ#7L>λ˲KLuom٣ݛ׵zO.I/%DMeC2n~N]iupF T)7. "'tKUNt`ػN_E C܄=$LF=5F"~*V).KsDv5nMVa$m5ucQc'OaMU$kMvŭJdnOԖtd$4ӵ͐r6?!* ?Lr)h"&0rߒlVi-3H[Z{V#Dm1\ryc^9M.3l\μūP 5yh?W܄6hsW[0`x8؝DI Q5IY`/\"T6tbe= su܀J&*π鳺|kS-TfPuast kS QQte>8=P2{(]+V ."wx{p}73XV6)aO9qЪʍ+bO(>[+LXxu2CtQ66g2w<,i~E_G`@~;D#w°$/5uC`_SFБlr&JR# K+?gYZ4065d2aa3852da8346a8e9f08d4ee6bec36e5bbb 48898eb19b7b309c9f15050a07b005bb4abaa949 500cd027f56a73662d6c310098f0bbc412b98778 52fdd0533a1e8127c275526467ec1ca77bb32625 7e0839b7baa11f1327c6a71e15183112f5367054 85ccf0c30a622a6d4e6386ec4544b9a5eb44ee9d 8c245ab35dc7da7353f5d3e16d37288c705783a6 bec3626a0f107fd180d5aee975463ace813319e7 c71679b10f7c0826b882ee457fb938fa7667f354 f370ed826c66d9202230b90abbe32ce8b424df71 fc21a0490abfedd12b945af7b576af211157aaa89711977f48cd7397b3b03ce4fb09271962469dfd 76cc7bc16bacff3c41d173310297a26a15be33c9