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 [) $T 5 Jordan_Hoelder:threads=2elapsed=18.774cpu=36.044gc=1.312factor=1.927zXZִF!  ]ŗXf1-/6vR[]\Rǁ- 1<4OȱCMgWMmdE_8f t3[W;d׃,.}fJA n/d O][ww7t8!7g4IHli`dq8Xk(oA5W‹qS3ef\))jm4O͘aI/Vy.%Z0C^Y$fXY0ͩ-$YEsQv`۸?rծuVqqBJ޿|y~,woHWndˀı]m_?tYxu1c;"{EM:c9w5F֠X+S@)tD WWDn^" r(sv -9SKlus;A({i k?hҙv {$\JA'_ ZT-E1r56N-'UHvR: bnv6blz9r+hBZoף4JW|m0sɘ [+nldaS>/XLxZz  J8'L7JUЕON:/RP-+Z8y!~/c],.Do\zj|K謅1fPI۹ 烙FﭜIȠ(j`%VJ&B]`e'uII]?sB77; d78uJ­IT2'0𳪼cO! x{&ڤ~8ؚ*38ŎI-?2S4̓Qfhzn'?ʯzZ S)dze{#bp% ^ZuA;IP12M aSsxXO4XKkjz)P ?TyC's/{kS:G׊`s|S$/S wK[! yB^ڎi6oP~4`j[9'e'檹wӆy5a/ܶnQH\s$惞`AËȺ7y8˅mY BuVx$,(Γ(ReQ?ɡZW"1@Y3Ny;Ɵ+mx]xk!i3Q 5o<< Ֆ#3:!۠D{[aɌD{n.E x,ˤLʅ @ ܀ƞ.(!Υd'<&`5@"Un:Vn}b-Hr1w4G`offBo|RD3db6zͮreGP컁y5 ):գzLMYdV8P3q/e@pk39] ϙ8kQ{30 a[m uIR2#~Y2q:|˦44E\]0:*u!sXs nMSv8u$CdžѻW{t4y2ְ ^߬GZ]5MʀSD0Rgx#XwGeZZ$p`z_6NRy~'Z+1ŨEF᳒HM)'=d#r,W9Lc5`;-9 =C77} PnYizGsڏ 1+3˙1!;cmR߃ DrǩōN<EP+^/]تZHE9Ucmc(ҐeY$Hό6]E)-qnAGZ4}Zs\Pt·\JJ_1Q5IJSo?_jKgN =zΎb>,S$B}) PjZtdҚ~ \[ƾ[\s3gt+qh\Sp ,KHO;0gZVw$r 4VǯzNg+p6O޾t11d}˝4\Wim+J685tE& llx ԏ'al.?<5Г_<g$OXHC"W[^xd Y|bUOW!y_w+<YvlUDp+pDCL4l $B)go!M>@C7J=EU ~ETJ=]wwCDFjFZ<Զˈf?p%r6x1.vq>lN#F=Cs,8˰M)'ں57US éǠ PK"EkY廹YB)ڧ mzrFrp30 1c15\2H EO!=5o^#yֆ_p'4Nn/cx>/_;,M gzq57MXD)aV&]qE gA[)hsܠ~Dx 7_A)~iNR8#?/v.ͻMn}\;lg]OC c##mhGm!]!%id8|VQfP^ϧvY?`x*djc_ 3^hȴ_ EWuʤIdM"TsG"{2bF&ou%Bzhn^4ѣLXfᗺ9lޔkH.Ymt>͡69nX5lE1 B9<*a"h(N2K_Rμ(i r F׀V|+l/^d64ԡ9F .@G#u* n("ׇ@B<{vQ IAο'yrx<wU2 =R@ɉQ½8aQ V]P3z ,M(`-I]Zj6a\{$c V$CO+_%c n gRTϽUR+9qDq@;eGnV[7EƚV]1aW{ImzಂT˴ipZ`D D`&spl#*%A]h a)V uma\kxa.SB;@J{oi:U1۬7ϱNO_}v nji 2Icz~hD6qxÿ7;x)w. =KpXzs&s6"s 3!<-i+*J%@tZȼ̭ Ʀwڝ6LǮ21ͬtPY[9Gb4Ď^Oc I桦wkӕ, ["mLY[& dH)݊av^;"4"mU,Z P70Y Y|k?yes3h&;1ߥ<0[AٻEһ]̠S"ڽY[((LV鱎UO[1AQTyRNwR3R]J;c1 G[SHQF<)gݵǕ }7S˒SgJTt7.xm_XllQշնe{M]a7dVQ|gJwL{7%3p^^¬FnmZ4 FvM*k2IeN>j$r`AiGs]W@᠍FB=#C%N йu 0"D„Yf!xYy Al oA-L6z?e\SqWqQ ћVϵ!w3+4'_5@Üa BaWI: gYZ0012dfd3e886640dfcf2523b5dcff829a64d5363 0d4ca91b60be9500c90aee83710a5c32b25701d8 1a7e79d45868f2511c1360a7061092c3726fe930 4465ccd5b4a4a9c97df21605afa11aa4252017cc 707f7081877423ffbac6d7d75ee7625d5f888056 776a7603b7735c5547ce2f4f9d30bce956adf76c 7e34b8dd8242e8f3e5a2c3c8043822a752a91cb2 8b3f99e8a85c8773c685eabb3fa2c5b88ab13269 8d413ec5196fa7479220c95ac4f71bbac2b0d693 b176700549ee0f4c8e3f968ae19d18603871de0f c0e02d76b3c21f3b457fc7b084784cf6be553187 c6d33f696908642619028f80d5d7707602192bd8 cf9dfc2a8abd1e2b7e9f07c133b17c3f9f752bf47df075489bbe200b6262e37edcd5270d19378d2e 9bfbf87d82e3125a825023e51521c6c0733cbb56 bcb2c163557370fc3c262b426278daa35f969e98