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  f5 TT< ]/]Automatic_Refinement:threads=2elapsed=47.850cpu=86.112gc=3.792factor=1.807zXZִF! 2c]ŗXf1-q恈NucvAݪ4 c?[ݍ#pdTMR^Sduʰ!K' +eFlx7(&|IQ`iZ0@)$R5.{*ŕ=[K/3YQ{tK, :&(&X=BKH)_b'Q̛ۊn_`B+Y̓F7V1`.%w"o%-c!d(Y d[Scw16ecYISֺ}+k"ohdå cJSť 2@_GX3_ VD;*`3%h^Lz k@[͉1Z`QX@馝Pn ꅄho~LuYTr95xcIp+}r-*Gvzr[åҖcN):e P4X@BIiȬڝ4a@]PFw{L1FH"6CTPʂ낡JrU_TоԬ6Q+*W/)(]q߇eO ϸ#w.^ npGmTTP5+9XS3)>/E|lxr T-`_lj>Y oKE_ji,47hc w|4֍ rmg_+p|Dj/98?V%tj<"r棕XZ7,w;Gi(1ڱ#֘YWE 5 Automatic_Refinement]4DK{'"`,Y&zukoSzQcZz҇$[%}v)Ba1*(t렺JZD[QSĨH* %vKa^I e0[gYZ7zXZִF! P]ŗXiɟ*#; )zhWfLծYw z˲?a;a罞4QBg[h;uE]]q'Ʌ9E%QINd&Mib @++ Z (tT"9@y$tj2RX7p7QQ75(nu4]Rạy6x^I/hiaC>ڗfvjAci[u~ OYs\ԁ`vs\NCg}u\sQAKOEːAeINg.-4;i/n)[`O,SBo4rOrEa)t{ϣE=߾6xѿ$%L@wj ^52ʔxQ I],ʾZ1Jdy3'{Ȓ3:F"]q.l}A>zq,Kb _UzlUj>k/ 8Or;H ~,KWomfn:F-?NU@&ɕ<<؛#,i(ye@fއTD'9k;ƾb`p۔܉*=a'^)+|(^[v!:SpRM|#e&Gٷfd1ĜMц~tz 6j,f g$9WR u)Nbv]3+#v!EJ!g*+'$ibΦ90-gYZ7zXZִF!  W]ŗXi%9#F{:ķqN^dlu2$/?E>_!iNkUB̈XFu_}TR( GtYY DـCVōl!^D^e(v?],ʝ7*I8[sK>HpZn T+(;M;]b Iڃ@Z=ϻ qV$@ 8Uh.\߹p6ҿlKnx3"llWMPwĹw^Y"ZY6SB_19wZd&El!X<.)~}}8Z&3f!jNICtBѤyUXh9O eXLۛ<^+g?R5aVҧdH5¶u d ~8 #{^ blՙ MӎXGO%jܔg|%Z<` $5?B^.ygj3\EO%ٳ> }bX\[.ԲK|DLnZ" zjQ|0rKȸ%LaH X59/dYELӸ];hm,aiND2>GCwӢ4nXJMqqH#Qse uVVp~}mJo;l\p!ByE@˵v νrޔ~vTBrYeQ/mTeGkeGO #M/q/͗/YUCCX<3*x!Y4?Ŕ,fC%w?)]Eމu(H ;=Mu8VOzFn^xZuS+ɼUZ#,AsZ~Kæ !2Fe1cГc6T{CVbP0.F\zQ[>…PUkQW ڄxR=vUƪ_G?%IS|jwҠGE& km}ЩdvFXU8zJĐ 1Zup af3KF޷U?O[ÕWX?o~nM8d0seاr]g|IsδW%e ;Z\pdqUt?eQ@Ҏ3$Gv&Ѓ|q\e inc2jʳ3OO͙bi<|j2& LP@V.;=D(RV(15FTh%'Ihe!Nξ.EVFsݲ!5>[b,MFY)&(}vwzezas+;%)~PU;rP rz٥}lN>>r*O90:r'bsGxXIj4 [ *]d]+*0}ő6x:$,X~{c3fPvfS>wLXaN tiuzdQ`B'CFr02)066ZQ-PgeȾAl][GߪD魧ڷE>1/7 ;.=GmFFǠ>JPzYAMv&}.;oҨ [ʓ!{I:E4+N5XA $BŰ 8& p!^j':-VgqdS-NwB& C-N2Y:|)|:fh1qKrdE_ZۋBYu);aCpMH1 ,:OANF|"@`mqBB Uq5{ZW`7pJA؝Ki,P' ġe]F h8ioPe ;n]JNyREHMtV//Z)Gk`s0Qug~XsI/4qxw-ˮ|{ʗZkDb>31@Oʀł349](B"ԛ\Ip /)V