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 ]]1 |, %S]Nat-Interval-Logic:threads=2elapsed=43.798cpu=64.948gc=1.336factor=1.487zXZִF! Xx]ŗXf1-/6vR[o]dhNZ!*-| #LS>䡩uV;N+e WR_ߠɝ V/U@4u;}T$$ͲKXƚmp*bԄ˧q6-bjtBe5zGEBo'c4B*+`9jWo0q_@Gat ]@`;W1׏׫0<~7=ltc Є?φt,A$;XxOT !agUZwfHܹߘMm.FGPt(E.CNl4oC퐧]~ll ֣ & N2XZMgoW,.(W<e𗽨X2ۮ`61/#[HS*t3^̳2yMvB}%M{*}OfاӀkXK|E1z!=;?- VԶHѩN<1CvlP^7B$"S@mZ'U 8 XʀKy?v鮝a#Ae|V+eSWkBhw󫍘t)f(M ~mp3=5BW*@^1fwen]~)O73$ϸ&b]NI0<RmڣW SHDS{>-~GUR,y}n׆| =!o gs'$fTv}a}3Ï2=;Sa 1 Nat-Interval-LogicRtSgNt Zz\FWq2@z Zp#ß L.ü_ܺ2,rlqXΙ]K֩g5LY"I{K`R;vc ieJD.I$b?okJ[&v/,\O^uy9]=__)B!ze^7 "R:, '2C= CW #k!b[wg٨rNt!| ',Ec`绁XzÛE2Nsj0u}WFvs/ ԾkE g;=e%"چAlH,Pl ;Z|ͧmU,[y2;rm*j='B)ٺ7Z=76]_/[~jIh?;j:}V)6x£kyٽEf[9A[ f/&AiewǬ;9d,{HQhʣ744X(5ΚFAf &%!ͤ(SC"g*H `HfҪ=8`S#'W ;d?9WNJHN,]PVO]g7-b;(T^O(4P+)J.h|&Do'L=kz%)p*dG7hkmzmf$W/c h(Ep@8tIULhc~I|t,y1W{-;Xq] c筅a.3)Ukȳyw/WK"X` bFU)/.\uILɸUⱩJG\`DYHye%o e5bHb/"ͧR͙G-HHh/bζ[T |F.f ?xq­]i_z2l|NIRi dP^F)/ >P\W lK/95͈QQb} &@G !+Ѡ(*2BAsHKijm0 .ڍ\$ 3yd"0q q;Zѫ$ nZ2+Y4 }ԗBt2JH4R.ɉI>,Wj >a{:'4O,AL!qw p?K=ލ<)#.+?# M23X?B"q ciE n'FovZ;WubkGm)R 8Z8dtp ;Ljr˲ J.wpX=15ZLc8ڟ̾81obpe:AQ;[gT;B?ԟCV tk/7d >|@*Q -*0w~G_{}1Kv֜sn^94Ǭ޶B9,lQ2/](oTٯ{IzFkX:E6T6CBZ1AlZ/O{uGYk5ڐLKM2"̶<>|pN<$࿟g3ċA|%!^M9SOCvEr_fT>) BǡBy T`?=nIr$%c߈4{_\34USr-ibSs0"̨'7̚$U!>Q&ҟO&˭ȣhi'; k&4.Jƣ6~HKGFHg+#eldC{smgF ,E~ dϱ'&Rc}-A+I0ʎ[6 ~߄s+ iԮ IćbNF@q[s9iN/URQ-Md -zcA)r1 q nh 8Rn5DEҬYœDXjullYL\){f..3O&*BA`EO!Nn>' 3GҞsڹ޵uVGMt,37ŭ4xl=4}KsBR:xa"%չIl,ү~'ͺj8~׮cC--q %*z tՔ#@4xLLEe!C`fbh_.!.ѣzVq-F_ۃE4U8}edrޡv NG~j)a-MJh#Ν3$yl-[+ߤ$x9x܁w2YïA"bfY)]ô Oyײ-BǼe8RN8ufԩ(g/T>?Km~H$$YxN{ϓ5@(dUD2AB0fhYayl*U iE=8s Xx&][c+zdX]dGeTJ$ohmLyۄ3Z()>B: 0k롌A^! uHljѲ4hGJYv(EH(l[zCB?{tE3Eei fº`;殚pƨ4Φ`xv =?'U`Գ/!ģfl%}L--8CUz^+8`vZ`1s"эݝ&csT8(ǗġДȄ)ʌ_*`Vohm9l4V$pգVT!bo9'b;z|͆n8)=kVV;z%\DϴB5RP]?à MeAs.(gYZ01ab61f64fd5c45a27800acce6b9886e23c498cc 2610bcdcc5de299bcea6d2641080489c64dae616 45ae6f75f5ed99d198dd6591210f767f7f7816aa 5960a95f95a9bb6d8ced45988fccb935e84b0894 f82b4b01dd76df97e79e913d48310d9d32ffee3480f4c0c8eb04f92fa9b72ba73b988fd158f20be0 ea130132a8ab1e832f061836cb5bf296dd9c641b 9aa367bb8061c194cb2caef837c811362fe2f146 782d43ef2454878015e970688d4a4d966ab1b707f806a1187b47c0ef0e345978d9b488791e184002