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 Q tLl ]/ PLM:threads=2elapsed=33.597cpu=54.840gc=1.968factor=1.637zXZִF! (Gr]ŗXf1-q恈NucvAݪ4 c?[ݍ#pdTMR^Iʼ9@yӯٷ%w O0C|; ?uk_@)C5H18V9J㓈/l&4^o7x4P\ڔ{CW_#k_o0Xk(TF_rW|Jm~ַLcb( `Gxj=&B~_c vҪqZ01NXr͓,tj[qa=n,#DGWAՠgtfs?'ĝV~Rz?3  PLMZ |qF=gJRX9h* JM\D]$rȼu!d= ^YzAMٕo@ L\NJPaIg#1sf%sRSPK1C JMH͕4bKB'0& j;Z"?Au>YU{GkQ'׈TpHeȰN'iRj ,G\Vp]HK RjJ<+'.ѓ`/q[ '`X8P11A*Fla P|-0+#tO?Rⓟy)ID!M"2FLʇY=Y4gzۍlϖ͛C։G)<^GN3A_ya *\lg+!Ow[}v30I2kNLJS,q-`lE٭iM( JQ%uo4y=[$9J*R;ߡuB#LjEBWMBŶZWx9.!ܿR1ugpcQy\$|-  SU([qfILL# C(t@]Ք^]{Y“"YgKFw3K-bf4lx"~ Xx~1>#[SXI\麸+l1;{;x4rI'.v8 P]+5gYZ7zXZִF! .]ŗXiɟ1˦r p0+7bOa\ AT6_՘M}f5z2%DB27o>]G֣#'ۏ̼d˸=WI v~ Sl@oSI)qFښTfK+-c,$?:宭C^. .u='ZCԑQN>lй;*! *]s*:xе%e&;1ePq1c>YJ=eu+EQ|`a5{x'aeEx{zPog4jNewuԧE;vm~TM®7@k]Ҧ'}o 7Sf]61甿t -tw#ɟcZ|4pJIϑB jH >ggYZ7zXZִF! ]ŗXi%90ø]Z:ťEtZH̬Qŵ| ꇽG!6hA; 4IU G_ {8f{ŁuׯB&r=@q|nBϕMbE+Nyq(ֶ [*|U4}]=7Hl ejnE5jAYB *Y"M+=H# #dcaՀh^-Zdӄl4ő& D`,)ハhWq6`BU3Pn\V5axq-'X85|4k`ia ;TD.$8Wz}4 b~E^{+(CeD$"jt)GSʦ"7uEV~p??.ZrmS*S#qjoP̖ ;F ħUiZ vjr6ƻ>fȵ;'EAxFz$ hvoJ%?5b8Y*K ߅Z;V 4[#0[1TSU ~Y[T#q8yt5NАHfMN-e1YLcԬjI1} iӿʸP1=a wN,Y gǙrpa GTOPr}c.-KV=Pz{qh>a?sצ۽5o_zQ/J ?IHMxZm`{]>[CT,-1zPW/#|z ;2ٽrmFw@oEU\ ZbYt. AhmF!N1;,4?J%.|$B=;r? }ՂJÂv1Vjt~NIC*2X*`V`#RJ!K\XjLݮ\A;֜qM^TehE2%ZXԯ*|6ǸYMfLo~?ù|i{Z`䞘!Vq.tQT 9D2(jq f}?O;3ݙ/xC!ڗc_YjNiC7f,Ŝn%6h]`!:1~hݯys:E\ !:gުGHpqJhF1~ɉ/8P'ĴI%Zc~d"z$$<'oES}WW᱗ 5\س[%NK =cGӏ humc;x9v`G'+> Am@ L2'R6p=@Y2?nηI?˰NXr#J&)ލ|t[8S%P"EpTJTG_/yz55 <:CƔξGOxOA2SA'A;KH;Y7Wާ@es>N  [GGJon_-xc7=]f&!bH1wHI /d";|gZ^Zhg-yn'ە?|KVɫ]x\!f\o-@§&4ʁ4P[r!(ΝJyy'1s흲 ya~33uUtH0.Q]RRSc3[Ћ|Mt֞]rФ>h[٨\gL5n)$:(VVaMԞS8:æ;"K3[{So $"HX_<<@ԍ"hlÑI>se3 }Sd,?zj'sp*KngHvlyy7u>c7|"Tk9.(5 FI$|iQY[Z̈́ b q[m]icKĿce85n*VtA988>}+=铝29=YITkkEG1m+f]L b%EfDG( Q 8a5G1`;{lcܧXFtt`FwQ0tjO5'ao /n _'&;=L[~Ʃ֮rpu1z,K\Qd݃!bW xk{̇ˆ -m46"iH+<^kbj"LYfh@bzk볺Z0U% !@NoAYAwun3Zŭ1])aXoECBHBcͦYZzlLoQM0nƢ91w0֑P}}N׻ك|m@i(4oF}g$@VlzfuEU=*}omlG",0vL cs?+Y8Yn!gYZcc7c47c5faba9e4653086cb77617603ef5349e0bee3210dd24a02fc2532bf9b24d649a5c6880067f 50500894c9f08017630fd27f91d8231f2cc9f198