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  A lD ] Circus:threads=2elapsed=49.917cpu=97.692gc=3.396factor=1.967zXZִF! E<]ŗXf1-/6vRZyⵞCy*!Jlú,CW+jHȿʋJ<<.L`.[cۭHd񽶗q/"ƙyw 7%rK vAFm2jw+K^T֫K9OIXA ZE9Nb1*~cHE DӐz 5f$osn6϶Q__y wj/\*99蓺ñgѸtGP&wO ;*y[iH9 Q, W0''}4. W[kK=k>aH &Im2‡5y矚$bPP 0nFJ_["^S9w0_7ذlkzb$!p>>(BآӤ}Ekq`|HmtmK G0=8vcA~Oh`~t%E^4AMӛVº#=Lta;m|E#n R1?K?[h/ k澩RK 5ۉIX 5 U~yfh)FFM]UDsl_މW˯}=o!},=KqH3-8NE&^ 'cN:U){荒^).T+Wī9">>% "%g(GYm?djj V 'ܬ$)65-djK`Y'IxQ3Hua%gno5_ņP9d`lB anTG&E*z53G Tq,Z񗚬'LU35 1rb  8o( 9kWL >{ZwW W64Mˁ<ݹq4K.dJ-҅SԨOsMՑ+~KNj'6 =)  mR(Q %11yRlZTd=k@ n{8]+M Kr,-.M>J9Uj>Ѐ{DN2S&uBkó:ڳspǝcG0!6TtD33ya,2W/9:H'.5ua\W t~c)\V) 75:K"Ȓ ZLBrTN͎%Q i:>JOī:EDgS?bw!?܅$/ђLjptG>t;,aTZ94 m>-}[tT) H, ^r)texJ2R?˃.#gtX8p s/OPƖ0HܤN܋e_.Aɩ h4   Circus* YAd4HKa+'xnԨհi"h;TǰKMwƿ`R /=Ge! G %E&Qx&WWrյ~pⷸ*-zGl?_V)_ @|~gYZ7zXZִF! d.]ŗXiɟ>+yC, 26G$38󠰺 c5kYU>ǿZIV5&@qF-#lL/W@ƨF[nS;NJ~O'*i,^ȥ1(P`)"vg8~ֵ9bSj3ee( }I92Έt8aM2UODH)׉ Ӛݷ V8nW-UameU*U/>$6UMwgYZ7zXZִF! C ]ŗXi%923JgCWsz&ϰKR C[yp{c[w"ŝ8jrR9ziXl\{-6Z1ȣ(DM# Y!:UTqcuK\})=x`E x ߟ_bm8n)öcD"o9&d5T>CaUWI}^cI!#\Gjv//T„|+ lӡ;&+o1UG!AV+SmijSÔoC1Xf' fdH2{ryTsR`LItɅ EmUVCTA &=.hm޸ eu({FIϢōD^Uf.fgґ8{Gߘciܓz=+ԢQ5ʈl~.#nljļ5jy Lt u+LPaѬVNl*,]c_g1d=iLCf}m2E\`]@eҗc翷45]UEU0;i{cƜ6i UhәaDas]_gȹ׼~]]?*b/w؟N78>/T6>Z3˫ mb)KH$֥$c^D&\^F(m޻l\yЮ]! 6rl͈) gbrW؞s;߶1e0;4 TuppRoh6nn[germ]ÈL2\VՅm8%#!S mMx8\5A 5DB̍a4qXf e;HJz+uqQvC4UG|%vlJg j|ɪ; }~!ci=& W-ij{_z6}bzɠxKj\vMw$E2H&% @Z^AФ[bץ%i rũ+|q)dgԜugPM&%޸웺MjQcFD5<0P $F\ޅf?z vkc(Am2sZwf(&m]fM"l\8ZdFͣoܺ1m06<0֡Y*%񭼸G6 r߻ڌCC“ϋI N`0?ι@ nbf#:[C:m208K5x7I+(&)=fy--[/qBZx7H%.n7W ; Xڔ΍/Ug,aEZdE@0e9.O,ž 6w_wBzN欘ee^VX`2dʲp -E+\2zl{tceB-bgud CƆ<R`@]u /92 Vzܡ3Nrx;Ґ`;d1+$0Gާdȫl| f]ˁrNl2pJyw94 (H;^e0&""V?﷨RoDx*go2D%#W=A/5Nܑ%NJ0%7  קJ2__˟t\OnEx ؘ;wqj-Tppw} `ʭS1[ jE;7sydГt;jܐԝL$s#5*Ry-lsYAI:s>\ u"%͐oQ ^QvX wKthe;&3=΁g2D7xё⛘|}㺅P">W?,e%"tpv>4-ƺ(UxD2̴7oԆ/(o &}x1Pp齉DEAHK.k|lۏZqh5ȧl7P`dƒZz%UrWin63Vm>g-l 穪Y@?($xmS[`eQg>Ln?OX[]vnO2]eA)4]Hd@-\ CuDbdvP}fѧ}KAPgݞLYVq'SBBY.2ԋ`IJZ*:Y~x c[lMeĥpw-(F_da=n]K+YesХ;pq#U-K $ ʅA_1P}m`ƘroOM[n9?,N YyhksAgS⽐0e\+/Vi:#ؐEYj̓ [gRziB/ՙw($"pp<#u`bWtBhDON2 ڑ'@$