SQLite format 3@ .;  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_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  b% lT, ] TortoiseHare:threads=4elapsed=3.609cpu=10.336gc=0.196factor=2.867zXZִF! ]ŗXiɟH)0%o+'m^Xu} A$i= 7ǓKlr`ҝTnVpTCG%P恥h5V^V}OR <\a<1GmĻAޗɛ)s~:=R8XHEKni[[.HD t96}#±zpk^.ƾ-z$a^"uY2ZF>@"UTiOc rt/:3pyX#rD!V$fydbyq"yl<()TT=?*rj:9 Wz憚rIDZ-T U"R(#^Ók* :OF=Oe ns`BABN4;TZLPZߕ79{CjԲ!eh8|x}jJQc )JYݤUyU] VRbe/oG*@ږp~vy/0aTҚ3= :9 (NUXl ݺ .T]=Rh\ 6Ɖ:E&xMxVɇA GZ^r > 絗})VMam"yeiz_0z!ߠ\Syjq Kdv_G#7;[ w.. xEzgi4 c jbV;'SK˘ yZ2YKowp04|4q("=de*pCzB7|Y-{s+"29`~Fi: 5e"Y/5Iw 6% -LNK#i?iMQknAv=՛+ss{VR㣚(l+s,Yޜ':!ĥR@qq +Iػ4a8i!z-:c9a>nK:{=NUئA?o6\e= ( l&(цL eITy]zױ<ԋ7JMN@eE->}A Es4_5Ww@А4Q㰸G%AJZӉ#N˿[}h^<+kF}L *}#Zhf z=TC3c6L Kz$.}ӎ5#kಱ6#TGVhhh\+8OΘ;~yWÜL#JT^&1{ݽ W[eE /xD x>Z҆ge+P /W.dq([]a:OGgYZ=%1+ TortoiseHareTortoiseHare.Brentcode/export1.ML7zXZִF! F]9 ! kHCKt TLh0qWoeqsŴ47! Vq-TiTՍLSl[*~Ax*M}~w8H}x:@L,CEAcÐeؠx]G>m/Xݪ,7Ȣbo:lTC|@piY>j37tٞ(j?3?߽EY9YO:ኄuE'OF\>̹@sxM~ݥҶp!&i<|MCNB`mG&k["ˑZ]]xf~;όl"kz%YHg3_Ƀ7LQB 8}]L c{ y.ӵyߛyqdA*%<`tt8zLI4hGbi2ql;6,f8g%'@ rRsOGVCz䌐dz2Hǚh 6H'=ɃOWNVT\VeKapGְ>$-uJ/6+j콹S`4N̨D>ѫŗ^g Okh[:!3Ųa O)1ũCcRZ VļS3Ln70Ĵi|q'MfoVT`%'i-ߏk+E_ X}H%H\7Hxk͆7sU Xa &3S!1pQg(8GGVp\/$G H.vƳ9r_RWlL2^PX%het/jXbO㫱~ V#u~#/yzwRhᢑggY^ $b..Fs3Ӎ`Z"l#!'[ [^zm\s ʐQ7U[gRC]gR~S΄Q Ŏ [Z ~k0`d& (5 P,9~r΋|XlHwei}0 Kz9s d;cҗ"9,XnbSG0uz؏bkP(ڃ_)Qn|L%zSVARs&pgYY @q stkwx[x VONYmtTp1_j/"Jͪ 6wen5Ex\JT5qHFƜ&vW <{HLQ0N2Fcݯ~$&e %cY^b(XU 㗫/SJ_Q8t0lw~4army>c6= f͍ _K\i.i6{v8q;Jޫ]P{K$pYV:`d8s⯣ ?M#]\:(A=.5I!?֞ pr0]怦kVzXoO ?{ڤRC:b=S17a[tvD$ 7nЦPݾkޅ]~ԖX;Ivr A\"cGKǟIm,bWWSBHB㪒>@RU/e "ll8!k 2ǀaŠ!~8H@mV xC;p;AIh"VlPZh1jTym8jfM Aㅷ Ѿ%6<[k"7hRFEO_aHDӑկ1cv|79wul6C󢻙;K?Wsgj=%mCC.9pf=w~a}cʹb௲ԼѺXV(1 !ؒJnŪ(s}eX(b~%&+F8 1@Wi5v.[,.\W~u通0USDz/8f/Es)y#{|i2ĂiwfbӋKBTBb2M!ZE4=F1.gZd)>dok`*;JNt&⎈'iCAZ7[0~>A#]J#\_wbh?[' PN>40jԙ,M8JZo:]9Lj»DBV;\az¶n3>GlcQ"qvĸ,>3_m$onMxb2Ʀ}w(%8gѿGZ'"2Қm|M⚳"O\1 ygHJv%@24"ӈY{gY8ɰo6V~di=[a;G;A{|+9~b߷'u7i@D,,@8J6C"IeysAPK !hgYZ7zXZִF! c]ŗXiɟgbvȂtU v!W烺C/nX ɿf+j^|{I˨@%D7!Oz8o'ȭ/ޘ7ͱgYZ7zXZִF! )]ŗXi%L!l/ T n8+y.\vшxx= bׁ*bIϽ5ԃltiNw83"-qN1c,zc)CѪo4{ixDͶtYsEUiMi -#nMձ jn~"I%V\9מEɽʉ`)KV Fo/`<=ڟ5&bsJ$\=+jIBuz7T*Td3{KKƛLm$K+ eZդtܟ=#q)oubjIo#-t{i[I,$ORe*E*PHp;4y;h\ntrgeOD[V{!,hǡNaW:A7m]kܔ%L,x{7_S2LVIиL/NUq/4 .enk7o!d[ mhS^T'.*.LdB>، S gYZ29ce0dbfb56dfcf4adf0385f2d9481a3d67b1e218215eb5f5b3394a9f9254fc524a194abe159cb1b 43986411c04360d074d5c4045a93e7a8120ecd61 f5e991b39ecd6c398783cd24c91c5bf70874d19d