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 FF/T, ] BDD:threads=2elapsed=69.174cpu=128.940gc=2.476factor=1.867zXZִF! B]]ŗXf1-/6vRZj3ZX7f\{4= l딳@-0:%>c62yamNQSKN,1y ݾA֬";QrQ%Z77,te3ӅzsUM7Q?ajp{2E ]y66xGqFm߼&dFܦ4/]l3,Ykrvɦ<{&h% u^ō̈y1fUBrshluҧ*eϛ;N ~|7Lh2Zl"k58zm.]3mB۳AXT| O[.f6tl6at\Xp&Sut{i-X|^6S.K@;#>80#5",,ؔ%r0J\[–"I`:a4k1[t4m[S +Rob䘾{Es>$sO҉t4ξjYaNؒ .H!4츚cľAIek*ɌiH0D;좢3rb»67b3ORЗKL1弶;4uHq?_jv(4M]QXϮ[+`,hO;{l([ 2dJCqjfS yha # yyQy!ST>uDyE2fA=7Nji@?9)b ǮF6*WgЧuǥ[V(I2$ŋI<߰Rx@_I)![U,n{U8+ dcjIPpd2qYF6#Ɓv=RY)հ;)sD *F6"?G%\^/֞Azj4;Li>fws* <$j^K$C j@I O"YN`BFV ˃) t^pTy :oBr2u7#b Tygh<)#!"ۖ$ijk=[ \ukm#;ۉ*s\FN"$M,52]Rx\O2][g.<\në$ȉXVmb0ֲ-CETkݗ Q{e OخjO ֙ols}fMJbylB9 ɽNI{ +J ja#*h+se_e\i(Ar)c>IHt\*o3^͏SE|Shu(`] C ބ9ӱgYZ7zXZִF! u]ŗXiɟיvL6 SczP6_g,{}FU qyWs~.H"Iv'B*^vp*Vb5z_BqAYTiLf_hH4ɩSnfgGF3 aZguOzӦW4SeQ/m&B$*gPEq y- =  BDDgYZ7zXZִF! Y5]ŗXi%9(OLRK3YB'Xw%A/I:C6W1.X&e&g싰DIfH;gd0L  AMxl>7ul|כ&uĴ/ǫzCY1Ycg ˲]jRꎷa>KwU2؂_Yh>ד^.Na[GriڻTZqC3(dGR.GWBͧzb5h-ª\"LskajTS~|fY@"v ĭxOxq{B1ѢҎ]Y.*~ $"Vqw;!b"VEYn.-tcT n6fh+33঻q:̅^F.`SJzb˘'~_V1y8&uf{ e+P4^ιMonkIo:mFG L4}gJU7  aп^&:޺ u{o*CC6\#{H , M7KkA(u_ `{5Yow~Ia|pNgW n-4c"w$ߓ7T 0MP[$=?ԭ64?e(}oRM#jwRo5jo+̰֋$3Fi``&WBѮj:VǟW;`=\YqQ{ҒӥE}a/9Om0'ݱ۩D`?JZsd5I+^W D43>Wʆ,qօ@+]Jr3?yj}0Uܓf˳HżA?)z CkLT-Md1ꢟRRjlwJ0 ʳ}*ax1=yӳ(>Ώ1g$oLf!r7ϷjO'tؑ%%_)}&|_7ğ~zr,ݞeW<8;6IH:MҪ#xuFq1Ú4lмsfo ߗqetҿ3YRO' M7 ;Ĕ9 06wpjX8?O%qGƘ"M ^um(XW6nN6S@NULǪI0D.2!wxLuL"p#Ƞ2=9A,N[W.vpfMr־8X}A#2elw9]#&8Htu0z,|xV!YxV hc-P ݆U)5O}AǢ)W>] Fs;c{BXEmyeo7 zu:990G-1&{)P#vĨ2:'xG2GmNhǨݬM@7:D%-HׇjF0GrX+QƉ5SG ٸ³Rio)5ˉ1@Qh<4sL"?yB#ԭÏxv5=G?IWIe&&z#01;ݍaèΉ"Viݘ"9Po<#KQҜV0̏9ލ"Tb>yҧJ1Poɐ-%WC9̲j-'2sWT{]eWÒ#XbȖ/GrƆ;":O tA6UHEd 6–7eX0]i 60$hm Î9D'Uzz7a$̷!>GЫ >`!vN8@O !Ք1LMʍ,;@a$(R{}L7+I.Zw73 'jLh TC.͸hx zUup[<@3ʟʩܣqzy&{Djc ute YEbρ @s P_7, fI9"@*X*=v6@]؀tzgtTsi3?9 JD+/( kRwv$}(Q*(B+VPۈt-a7@<=K;`;&U*t{HpQ*RW8?:AOHCC<$E&&P7 cmXA=D; >1b&^ĞBG YeOGH4^~+z A,`bv`YKօ=='z#] ~;K'gYZ9985c868821c5f093aa8ba3f909723ec2b5eff6b3bce9911b38b26864d8838a93be3aef5c2b77cf0 d2df9ff441ab15caa535de40de1e228d1854fe2e 1c47fb1e5ab0b8e0fb5263907cdc48f085194d08