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 )<<\ ]S Sort_Encodings:threads=2elapsed=63.564cpu=118.456gc=8.204factor=1.867zXZִF! K]ŗXf1-/6vR[]+rPH[yk)163{+x VYRc'q|CACE$R3 #CZ]L>%=PoEZd}0?o>ں35WVJTzɮ)豾:PyL}~kip!vpfd%ġIhR8יy:=hR= FJ S{9eP˟X*:P.1ML]&"$|瑚PiȌ)Oa~l[mΞX,jC4S&|"7\fOk kBLK S2$3XoS/y 5VSB}]Hw)rQ\2B}j8Hn=}Uۯj Y Ppz׈Ёztn[" @eP(mxx.gyI9WXU wcxvoR_OF e]g!>%U!vb3{o\n>ס?nu~9@rRn4ъ?5o2_)%mNx6H]luԹ9שX=1 Mznn%2)׊KH{cߌVPakAAxK:GX'Ywɰ^.a GoU#c,mI#B:oP\4qq+?9^.G0u͚~̦6s of^,ɤtj~bP- tjn`£L0ǭJ:T@]L%g]<42r? (#{N,*5RY-Ӥ/~ +PKٝ{ zj]ȿOL.(W();2AOk^"G<$)EC!0&= 4MLqA(:g>8"KGtGALXF8zR]ҕ9^[F'bҦ ;#(I'eLs,>jQ+|@{=Z FXBeXg𺟄נw9j#jf5f"P%5?^W+`$A!"=b J3v4퓇}@2Mp>"źxt'm^.8| vp؎Hl%%8UA5_6bX +;[FUXmq#Jv7铜0B|ZhW%2PRޗ~Q9<|HBl{zǫ~6{p˽;?5k,'ƗgYZ7zXZִF! X]ŗXiɟzlk֢UzYFFLhAI.&Aဨ"T.HC +? Y8jg%wRDxKM[v2p\Wdl8_k)آiǎE`bIu gKGQ_98LPF_X-őnJ2MM)X񆪈Quyh֦,t Hg? 2)9il7dњk9KFCC)-z . ) Sort_Encodings?tfixK#c%5~?vx/WҰ gYZ7zXZִF! .]]ŗXi%r=V^ I}}94mKl'pe*q.V7- wAh ^9ɬ rd![Mx?zƍ,m+qj0qD2|" # QW *G)u}ewd{0![IDawQ\j^W`0 pqȏHQ &~lz8 V`=5k"XL3&g}spyذXx7f v)1I\ʍ́C*L 8MnұVfLn^t;60cLN>bS/7BAq[̼CtP@rWE(3| 5-KENI]H{`mmکB߮%)$>wEe=%g>ѫIXID.ɽi\u}dWc;UƮkld'{p>=Ku&z krCOm z_de9rh+\$'NxZz+~~M`Zx[YJE3>8W1iDtGX_!}X_(M'-HN4]B1IcWMYSq0<`Je_^¨pO--csCS>^ػOq9+J5KG7/AOWGř;EG|6g:E!(j3ũds'`d!rcQ_0hycf.;r:jr3˙BtP.Yȫoww糙cJ>xF r%PS0jEsTJ WzZcP$u?#>?5';0'`  c/̵irRck8axTh.K@q'6"M醴GKב f*|*EfM2.\HDuΫ#2Kc!]feItf \سk #YH\c',4- D?;s7gɍC%ztW5Nf N6Qj=m7cjq]1Xw쯖jH`-[&]pMp2wۗm\FdH+0$25tޕj )M&k7orA@^Jv.Bk=AxWbI'\.186-Z)n GvUܴ?ƾ̬!Z&mn<0EZٞ Y 5Vk[4Dy"''vcc y~/"XDlE˴6n&_mn $B#`o>0JnSfkW]yH=$H'3e[/֐?RBĕ_E9̔]^uG@HKps6:\R,agGƯ s"w16N?NK -m5߁?  'R)A:yCp!MIX<#:| i ad0GDaFۊBIdj!ep%Izbq ^Pa< VE-ƛ]U>s r#D}&:sY4}|m|g5,|c!/ZH_c㷩|:4g / e(L%]p=?*G9]5ѣY]\gZۺՂx;qùSiX!a[bVM1'*0̘䡢[e CD%n]YNCgg2K/לSYmxf` AsA܄Ӕآliک/ m{ ӻ!Q ^.̴@څ7ti$w ҈F>o3NjYTw%ͿZ?ao#"4@GUveSP$}H5Ag:Qg8D0ho⣬K`p$y% Azamo'{ž>G׊!w3H 5lZ8s@pe#\fY vEbLi?\Сs~+3(!hٞS$30~GQME< !Oe0>g>r3WAzr/VQ9o#eI>=@=S5kʣE||(rt Ljh>+EFV袴6؍:VNї_l4R|OCKuJ11TjdxYB{gjdЋ׭PSƦp{X])7Men5f͢6Ew&.NqP5G>!ZhhuB|r[)En\SGJe9hI3ygVf<\u9fCm.1ɒnmL7O&\ Ș%e tJr'"m_ Kt SnBvk @姱gYZ1200c8d1f8e40c247cc441e080d372497f56a6fbd6ac031d3e88d65563eac5f02a097b7a1de9a7e3 ffd3c2f455ccf76046f1a522696b8fe123ec936e 168e61d6daf9a7158612b10229e94661664eac03 569f66c452c402afd2e2e79e15ccdee73e7e7496