SQLite format 3@  - llB77#tableisabelle_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, "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 |D s/]HOL-Word:threads=6elapsed=8.737cpu=37.692gc=1.288factor=4.317zXZִF!   HOL-Word x]ŗXf1-q恈eO/O4Eh~$&} _ruUM.jږ7#\ח0Q=,ninfJyv?=/ʩ: 6(H$'& mE:qs!dx6{[ ( IQSlđZAطKvg4pt/ Iځ2HU)eA^M lc3!J7泏*k覐nQA$>2bzKAQ"}E _&$vήFӶmM t1Azy̓ŶmCՍ*W7@mE8=tB Oa.*]'R-%\^[8~-!X ӓq?=IqGLٽ bDjG^ml7> c"E}eX.O=18̠2A2@219Ŗd۩F籷pXRz OCb`>Vʋ]e*v9=:q g8<#WWyν a&,̆䏘N\Sz5,R/NH (J%E8BDÔ܎iGÂ43,ٓ7+tCw 2r7(ܦxj?oӏTɅ v$K|h؇ȧr+Tg[oMnT"s㰛T&<#|2=8$MF3 p=vm!9__"qȩ֯FivO@!XT3=`3tEqR 7bY4;Mx8JD*4 oLZ%sfD<2l2IA 14#Y|!.;(@jNq'j=;s@˅Y FY{S(\4uK$l FwF_H$K~{rDYt,u4:KL/$w`M~oJ~բޱ?J^d1`_BxFҖXЁ1pfAp!RchFGK]uD-RBUm*Z1`WM O5i Gx;YҊ1cVg754.O3RHG/pՆ*N,8!vS>CI{^搏Kspo=Z8{5J1>'g H⫀7^`, xKa6'Xzv |)KFx6[X%[+ >Oyb5%f@l-1|}dijLKvk]Ѐ#w[jbks; =m~:40bD3'"B坞#`_.o%yp["]L MWV"(nRd\V#~ղ@ ;OؕŠ(Yqĸ"9(wf[^ zN{j2宦9wP7)Ho$왪5..™ONh&O 6,6˂Ӑ"ݢ-a~#[7(j^+}P-#T)CVJOQZvw16Ǒ u|r`> OYO\sM}0Z_@2"9,sm剉l]}߁u[SG3]#%4:B'|N;͂ JD w9\_ - VFJ`WW}<(D ܮusDd| ֛Y6\]1bSkkqjwUnE-)7k5)ofbOjaQ1qz/|v|֨ٳa[,R,e#TxD{ύ/ 8*3P߇{IvE;Ǧfğ*ഝ/|hӲ6O=7FEZufCR82,oQ0t ,*.Qm9xL YALSƁD4aCoT%z9sQb/z!c&\GK fʒDq-})%5Yw`.߄H9vL. <Ĵn}8=wQt=8ڙsG>1ך9>٪muQxZP473ymBļ| @iAT"7`δ$°8nN*Sb},XEj۩4 (>[W"H~#b}GO:ˆ%pd䳱A^MiݕoV/ܞ>9Cx̃ϖܘ5j#aS~d;J@APJ8uN<5|kQ5ܪU!!ýE7+l~(k\D\!(:WU(x]`JaufN韇onڢ*ƒ1\;[*{KM)+BV^5߉CLI쉘g'DA։i4?!?14D^ tt^31y-,FgYZ7zXZִF! *]ŗXi%݄X QDg+c, sF9AoPj+eBl ZzV\N \( AtSL/NӌӎtV7.*h)yv.:**GjR.%=0?ݐnrYZ~&@ !a?eo9G}*vPE _Z]b bwet|Ds1-A +}j2' -# (u T;b 17suKso>0 n`%o=4r2?RlW"O/Ec4c%qli"x_yjV3oI^fC%:13j3rf- n2Fyl6aIO`^!ul9 9B~XcBۄϫ˭#; ^ZJ!]0?+`3P(f˒i#S:j^[U6}b!r k+5h7Tؒ3N&^bi)0IJsL57E#1l`Q6'4Bw@feIO`xwdϔ+bøe/1vZorܝUPMf