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 # \ c PCF:threads=2elapsed=64.055cpu=96.664gc=2.844factor=1.517zXZִF! t]ŗXf1-qN ~m뉻LG8Q?Cެ4SwW{RI= ցe!cGNz;rQx\ڹlnZoπ#.Lz F޻z&8xNh޴E6G킕p&ŝEsX@\`ܚ81 rԸǶ.+&   PCF0/f4o&O=ّTEt ,Ѕqe9EFHP:z ֲ'|?١MxX[$[on[͈ #9S曝\GIg&h=Woܕ5ǿ|*Fl*\Ю!%GP=GVoH|r9  m)Zg`$['cYeclLy{$^61h~H`o'S9X*.UBsu' (!VҏWՁ73><9i2> A8_g[wUlew$%G'A*Fr6z V$/F'~Mx;P(:W&"{B K)%ӫODe9VCSI\HO bR.$e>doB`:щOuf ' Fdӥ\*o7opMе(wL'% S kŃ ΄F4=Xӱ@?LM"uYnJ|$ M@}ְ29 'Ǩu{IisvHZt^F"ͅ8!cE<#_g7v\8}Uof`/r)vl"rNދOb8~KԻutf< ,Q9b!;t4=ub~LCM<33%/y|2CP&'a )ˊm%.:0/ִ‾zޞ~w|o$0 `a?aHڏ9e7!ͩڜ %&;U&xl.0ڠ;|W$7L{5#jEbQ˄#{/+,^ ;/4 keUH]sWE#g$=NJ|ϙ* (vX"}wY<ݯZH+ f:JcÃc 27.\O(|@CrW~=}Eu}\N:~.J=oOb&c(b"&N"f1H a1 fY* P7nEγМE"$f3k;0BI7^vʋp!Me8*bҡ]٢\ʺc[Cl)W5-w0~; y\SYxפi߻fQo,Ck{ЕPc;@;p]1'[|`fL|Gq\a{:B;B٬Ig|_0j"dmTca憈[D}\1ϟʎAtSrn&);"J!4.z~֓k$qܓQw 2%/^'<;.ꒊ\ 525Z}D*}ɤQ|ݣx k/̜^fv./泌5-zv>l[ uH<w)"~F p刳]]DIym܋|Ta-mɾण~ֶ>vN.?=Do<2c JA:F;_4su1 ~Eyzx@!R6V׾CCaR-wYw\liH\.:d mJ6Ͷ$fawgn!2;I飍Jķ8+> S!fkt⌟ S^|NԕY\sAO,*fS; dX[xRD4QbQNˀsű=oIReJ< Gè KM2 K7WDtvJwQSEu W+/fTo\Xns4?p]w¬U:pdkhjߛdmڂ"Cw_iqkҮsbHkvpP'"SBVNX)X( bdJ*f73/n"'sn)romW`.UU i%'1cLHzIDh^.-e Fmd4-/&(8/^4/-?\2u\im؄eT"LxӔ\ŵ gzþ(젤qD'G2>~0ANo>fd$1YTݍઁD++tpē+*t U6R!ޣ]!M{"BnlN'[:p3g΍@CerwyԤwż$&ρ]>ЌnvKt>BhB<0fq%3ƶEH7vŌb:2VΎ4¸4a) DKOJYvn -*OVАf~ӯ=KWD ڎ]7K;v̛|W OCq`&Y:t>HcD[(XB@9I^7AG߮H6sOQef1Yҽwހp|UܟG'zKi[2`՘* bӍoQ#߿{;u.sgT166.$7cO~&W Uk P&IekzIժֽ;?O bq4'ywjЋ[3uقͥjjBԈ;}ȱF{ vl)+j&j3ST z2M!w!:#f8h43fs0`4U*%Ҋ  gYZ7zXZִF! 5A ]ŗXi%H` oZP<6^ WQ],Nf[DtKMj{^ĕȮP@z ,@sUs]Q#Xm2>'N9pognw =SnyHD䃱r 4XKus%d$ 94KHl; doɐ G|I#YD;AyV]Zv3F-B>٬b[ثU.!ϴy(V !z2#Zu|#hgAx|Hr4ߩ K7)YEj]Q6~OsMQ !e0ax;Gy',xSQI$MoB<\mᰅŠ+c<X7$2 F3W4"DԺȨ7q$J'>#~LQT1~0/T@9c,( w5 e^[mmlm\97pn6upAt$XG/s?ip((.=Z%rHӅBUAИܕ?#މpM6 ̊%y##GǟC4lQJx\`Ui,vL+ z7fwIʊ,sf! Ӽ(p P?܋Dž# @9%f>||cSd1RvJ~K'Lܵ!;B;ZNVrkƧ]77@aQY`[xoqlFT6JapWON#d4ǒڋ`3{O~vhfb* )x#P,-yNWΎ2w#Dϖ՛7586nj|z c.{ $^z 4+D+\匌R_R8^tO;SK')S[*e)(Xpf/}jvOd ,V9Y~cNGWdCqR6RlCq>8$DxH!_8'ݺB'NX WPMqV|lT+벞/orٲuQ@,@flJDzZ"9v?bƽW1Rؙװ'K笅G?tCc lc(răi7;ՀnLeT|r(V%t}$R0/!(:G`<[g;6L &qiv 3Tc\T kTl] 8ZVzZzrWlٽO6. <"/ f()enJ Fhjԯ!nb8,c:jBC VtoFں;|/E{`p[M9{a$*V.\K"/WA.x`gH2 G/O|q|D+c<@vf( F{B\@O"\)c:Z],g4bvn2oEb-@k!|m'buDW)@96wUbcMPiAVn6{Ix-2C΁ӥ}xX2uE ˍ9>-I H3zD}:_VvE}~C Vc1MЇy_/g5Z5VݸANQAo6K/7d!:b˝z,d= ^!tr6˙V@ZPb䅋%ED:e7DAJ $[^$'k9nPFka.戨_йo?ai8C2s4X`:P/3A܋9g-V*heݧg(%qO)h}(! %!?h-lHo?u:Iϖ9ctI#17įz' ݡ\7U>HLVi|~u~/>kpZ70 i'Mډ w;4gN7ߨWP}Jͩ4>D~LTΌ>(|w)4ElxC (*1M]Nؒ˺?Ȥ(8<1++lh֡;Z%0$?!BE\S-jG$*b-#3BhBNg | 0Ǩ g JtI6's"C)*c@3tK7 ԇe\ZZiɢ!iB_Ͽ ;Eadֆ(ݨq:9[gMĸE 2 |%W@Rz&A"4Y.a1rq¯M@)St3;dEJ/DgYZ287d5d22e890ce74c11487f47890bfd8ecf383f0 2afb8c3b0b4aa4fd62466f0017ef34736003b5f2 384835f76dff7396bb686d2ad76b1e3cdbfcaa10 42592a2a3293213750136848a26f06962569fecb 42fef1d829222c321568634bdc7970f1b89cd221 4ca9d3a55f0c8b25922b65ae69be3e737f6a3654 65013a568f88850b9f8fd811448c5025c2de86b9 962e47aa332c8804c7b150e59b0d93cdd566fffe bea5e727d3498335cc2a1a50364e6846b1b74151 c3b7ace5e1cd195ab5d334a9382fc98298deca32 d727d6d1c97d3ff7f87a3232b7c85a7de66d2eb8 df74f801adeb78749d8f6ecf1245e4ee32c568b38c20d9719dd3c794171052bf139f7df3bda5efd9 787d9064b94856bcceaf7fba7c00dfdb93321f07 27b41bf5d5497b9bc7bef8cbe27b48de877fbfe9