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  l< _/ Datatypes:threads=2elapsed=41.534cpu=67.616gc=4.488factor=1.637zXZִF! `N]ŗXf1-)&$c)zaBcFeNT[ b^qSЧܖ^pp0|Hpl_Dr.ľ&30}X}MܸRn1Ӑ V#J+߃z1@+{4zّZ}uXd8{|݁,:8 zJ2,*:4yEEc9F/Hs΁6X&G{jPRjQ46LC,Tt #ժ8C q[{dGDmwcac+}X+d3la; 3TRϔщBBlwS]ꋷrT3߷|4]DqT3ݪ;;Vbn stg^R1*c,/΋:M4Cur~b>vh,䐋6'E[(}3# tQvCWQ_+ fzF%=#r@'G??e)k틗h(C\fL Cs3:G&` =(>tx*U-jE"%pxP;]Xe^Y\xǸEWTNLp L#E/۠s +Zbb!d]S:2汦bV6ޖL   Datatypes@I%DdgBNOes6b Ny#d=e1豄<.k0^8{}K4_Uq?$ |1tÐ+ճsx9 U"ͪGJt}x9}ZhrxPx@;*}o T%b.5އz[Qme@m,DN3:T>0-ԨPEZ_ #*ǣ)8Ct0Q<7n9BZIZf]"Ah %奅 Ks]|6f""}b'fd0I,W8#j-}69ʞwxBK,Q.}ˮBg\>HTcH _HgW?cMI:2F%&eTy] DU:0Vðr6ؾ68˄Whˁ={ 酉䙊1ʆnjo↏Zr4SefmXNK'[_qQx4C=A8ֶu޾ ƈ Ǯ}&2]w׋/;T_vtUH &Z̚"% $Z"$<+ B0τ68([4Ija4o8:7xr8A<9Զd]s\/|p F}YC$ju13vyGt(TDaivL^\1]=O~r*}c#Ѥ?K 'ږ ڄ1_HfS{K@Q ,cm:c4G}/#ޝc9pڙmI8Q, R_z\Ϡ{CLn7_aU89OF8p}KQD?X?K ?e*3`mhpp>ZkcL o5_yX!b -& ԁ!D/4 rh [$ψL. $X0-ˤg|JtqC\d U]ܻ4A=ω v`\˶ʺa/$w ǀ37$jHt8 -C-ڹ4 O ZF!W^/F'QQK饢[4ƁepDԐMr\-"Y1S F6 @2TJw^ o`ў-P_jp .d!9^bq5,Ij1[ m!4V|)@t{|V.|fG2rea6Kv6RHVc65LQ 9 UhpNMMW} *Z.,"7=7Vu.рY k="X5,K'ZtSyu](xdڏqe^gYZ7zXZִF! E ]ŗXi%>)-$ػyK^ Ū[ySg)y\ַ} z$s528ŔM>4ɻOA ɲe7BONq`*6qpG4FaHFg꺚dH?01 AHY1 |E-yÆkQ@+}c:gQ S$H|(iά5 ߏ 4V[S,xd Ftު8/Zq4h.][J4T* _C8?2;{SWo[T.om C'i9RCl+֤Mlj\ iMRҏgByqT!za"c%)QwI<"Jd;1fqw*UTGTzġu];GTTщ j6*,k x z4R~^DJ`P ! n1G^_X@-} :դ=>'}A[\V  )T#$rQiJa?Mkմ[]x{xX_F\3ĩf{jZZ]w2i#z]]1Tg[vtRV>=C"E u*pv0eȩʀ{Yz;FYIY&PWMo.RNw^lV9ķqZ6yOUաޫB6^)al͍AZAkdlINcK`'Xޤ_Ocr] _SJL:% =]YhӰx8|/[JMI53o]]^( '"°_o{nM%̾ssY)},L! }&<'=AbjTG.OTH^ ؖ=9vQL:LH~aU"^»T(S{9ٓa (@XAøj)[ g?IiqUCԸ3dh#/Rj2nDFNsG.#T^2<^[7Z*Jn>]B\\֪:pKn?S{62\L`Ͳ"b0[mz5̬/fqy:; l' aTUyA(otcOM>enlD%!Uc@RBٷzC*K탩[Veec~W3)l[ne5hwhE&MuK3"PBu|h?~98o8$QNQ|Pp;@/#2hr\o~3Ʋ${AaR285E )+&F\CV`7\ҭdYGd?V<:E>4ؚo!gY.ї^p&6ubR`C B5fy#9!_/% Im5}!"0q# P<tCJsVHyeDV"Y޹p+=% DZWֲK˩`#͈DTRi9=bO%쪾YwjaA^郲yoE v֡a,`ԤjGBX< U GDW jh 9uh~& g}r! d-8s(v71Xx_ؙIJ{& y47:L oٝ7TYh"GK&AH*+岬 lHG "P%?qF1P%{Ų~q2tv"mk .)Xޠ큥_'"(Gs-,hTˇegvk}3-9YR"+xl~} _5ۏFs 7~0 xxՔM tRUM|LrJsL1n˘=<]1ycKkgۏRb\nQBha %]?-aAm*Uztyx{{L{'WN+0S]"br|Tf4oE=Cml{c Ou/`[Cg#:ηB{!5nC<7cfG$!A2K{! +5D=|̡/!$ұgYZ007664efb3738ca409342bcbf25b57d436593bcf 0a1c04aa85a9a243094e40fc947bf06eb5295a79 12801e8ee833371d95b3f173da5f7ac95c1d057c 28c08dbf29388b3a2809b4bab0c7bd85598f65a8 36545764fd444e531db13bf1c0f3ea261fccf9dc 41388104a4a5efe93e14149d743a56e1da702723 457d02a572a0fdf5e6d683531094ab0706112941 4b174e346e2b2ef68e63381410770e342180497a 5117119a178eac69d137fb85243808da2d667eaf 5bdb540d5d2df48575e3f652e12ed3f3c44ff99a 5c1186ae4ed1ec0eb99e7bc039b5ee3e1dfd3b73 5fc2bdbb644c2f07bf08dfa5c35bff54d955ddfd 8983b274ca224430b729c36804a982dba8c23ce7 8f194db846e67a7e87b25a27fa8ba1259c4af82d 994e906601e17310bff00be21ae5e216ebc52992 9bc5bf9a2449ee6b95470c832bbfa8d7fa97f4a1 a438efea6288f9f4f15f7d643bb504a34d38c343 a634d2977750efd14daaf8018feb1fdee3310b68 b549213b2aef49e3da5304ab78395d90a826e17d c57202b4ffe9ff1ecbad147d413f3de8e9e5d302 cc208ed3a7c8d606faf4ae986d288f99b98dfcde d7d6ac5a68cd81a8e80b54128cf50638a91014f2 da1567c528c0591b76c11bbf612dc90f71ec564d e98d989b0d56b347c6ee1a9d61645ae944ef72e3 f9ad8b0e4dc237bddb1a7187abcb79226fec1f90 fd2b02dded527fdedfb330e24b0df02361aff2bb3269756b47a6a9653987fc2e45e2efe5ac3c9347 235bf9bd90cd9323492bca5d081941b77446f18b