SQLite format 3@ .  YYQ77Atableisabelle_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, "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  > >7+, Yw]Girth_Chromatic:threads=2elapsed=62.908cpu=106.116gc=5.328factor=1.697zXZִF! "]ŗXf1-q恈ŕ׬[p){tE7SS]%Ŝu+G˱+ɝN(y.;#U3*{+/*mcA rso1Jm;?|z BaȅlOA<3YRjځfnѣ_Y EѝR`92_X*;2p_ sɖD mS m=1;֫pZl:A+nzvsͬs52 %܃Б_3Z)\p[ly%woDV?]|aϻ[>}SJI4Ou݁WyMI 1.N:{i%ޚAQiWv}(i *ݳ|lunZrXg BCP=ˁkJٝ~Q5}Q+8D ;[God9[X;\䴄[JY}# Ӆ3|$ ! d*RXc8XNٻ'`-y)F$ Z[dmm߀O7"DR2ҝ'cv*a7| c=(DZ"V`N5L#yK)3 ] vAwVR*da;<iU 堭]168^q>s;=ݹ.ժh.Uus_iw~ f'Z-|Ji]}%h_DV!l0,?ܹs2CK|ܶ6<4\a(z]eI XlҠڍ<7'dUM9߇=u+QP!C=u5CHϰ&֠{yMj 6ȫ=DŎ4>Iӌ_Z:H{S}q4>NHcB38럲!Ma%"scw/cEgYZ7zXZִF! ( ]ŗXi%ʱ`Jk$b;Xמ}4Z׳󆭜 XqlhC3p_D"l\5^B鍑,C̶ܸ`w% "Y֥&^]lD` @`rB읻u*?F[@TE#?+4-$E@,28KQ@DKrx=e"\̀,uy!ts`>NT`鯆䁗aQfLG@4 ଚW[JЍ[~w#(:hC@HSd{ + Girth_Chromatic&2$Kys?P[tv((Ijc /]qIM4]Y >n9f9rqx`)2T`+jA`!T,:_fu]cu߅ @嘫"ᣵuB6Sͥ&Rjʾ-譳澋slL^_5 }u}\`ط ¾cZlgNRn%S֣. ]oPYg' $T0o!> zBcԆՌi0̢rtQ2F!OHn_ {t$_c~%(,(@vG-:xyLc%BEȅsxx֘5pu 0oQHUۉ7AG\ ~ߞH>4g?l% v߯3;;FYŪmh~aMM36Ξ+D.f] ڻ@ 6[-a壾q1~ҧ+7B7|uّusJFrsm[3>&6o!X ̒Q Udu's9I>B͛֔ Q,Qq2ԃ=:>ۢEˎ yt  uX-9w-X1e`m>(%1,0Z|z}D!v5>rEu" SG 5K\q ^a`[q5%*(e)WVC3^Uy;gf8Zsa0/bjX/eIQA Bs:tÒx ruę>Ʀ+ǤYhj).8DS%N'>*ilrOFG/.|  p Erúp ?x["timf\Ms;߶B/mKstazZxԕRp`2ZI`8 f$}qeI!s}eDи/2}!)M -cjjG>ԝS])kOuլųOq+CRP0_)%,1G>iczͪByءC ;$B'cY|"'0zVOpX%m}P g~sB .VqC%uQi_ āT+K66u (l!݌SqO>Bj?qI댓u@VN[9!rX]aqNl('.ueӟnq cX/TSNNNj NLbJy p G6ljƬ{lѤur@B 0#_)E|7.Dײ;ZR֏P*- Y (-v.ݜXyr(Jsjx٫ zu`}F~ֽg0h{쟖ɕ,ϯP' |7< ޾*6f4)"站ꐔ{+6WƜMXf O,dp^t/-FyЪB `qW<bW=ABv;6G1hczօ]*YP+rNr <7sk_̫JGݎ%!qKjԟq$9(p*.<-S筏w.{Y:՗x9 v/)rՇ ]-%Id6%s Dn^Ih-UْzT26CTZ$ 5PB ^1WZ0nJR퐔\6I9: Ob6j4Xm%q4ܰ8 Q½_T622H }h&]m4lW)[dn斜^8dc4!Z{Th0Uհ6[68=VJ.!]lnt^OeB)):aMaߎ:(s>Ƕ'Kxĵ['48@Vm('%HiaW}ɪM '5p}7,x j5C/Ady/j[M)y e>m@dJo,2"$J8+:}dg3DGhB?4|ٞ?zdX+&Iyb%OAtv{&?(א8@ w( " Ns>D#;YGLM!`p(&[{# ktY¶5ei+Htۼ黔0Z '^v&(f(U )z}cfibU,0ݖ/iVDxcXYQXN}'Φ_C%AR]=YhBArۣ) ZZxC 5|{Ys׌H ,'',*dQV^ ,Z2\0py̥`y(ǞhZPD9 ^LzgIIUvU L #7z,4v(5&}>怴P:o^tq~\Yjǭ{aڣN32-3T=@B^MVPȗ\=%!6-2I uѫeKSDz`pss_pӞ%1J~qY3%Qж!ry|u%*4ZgYZ0e2369879c23ffa3af808601205c5bb2f112917a 22e1da7fbe4d6c8ea2c63bd30eee90288a1de6b0 30afac17f29e367c46142872751722118953e506 3409823eec2206aa526e41e503adcabd1945717e 4347963d4eff6a52756a5d74d7164dc57a1b8383 5f73a2fbb357abb9784bc53c40b1c692f323e486 706eb1960d5b51bf830a960aee522e10aabc387c 8d8434495da4f2908e82a1b077cd387e59f40719 8d8f1e54418097925165113cf7def28df2fd1a0d 9bf2a719c4847262ff5865ce539ab70d1e93ff5b a46db6986ebb05a5036a578f07221fe6d4a3f5d7 cd318e5bbc9752d35d3812333dcbb350a4ae5bf3 d25f3d256bae918966574511fca2002460d90524 f103f3d343bca13e480a588223b94054be433b5d f3eaa2cc95465d4157ff6b99c6c7d704790a51a50ba1ca971c8be00bf94431f0078936b10d2759a5 0ce03196a7222f6488e31156b520bc36971a656f 839b44e946d25f579f005d34bf2b01c8c50a8382 38e9905181602a320340a0cad27ea92de6285748 0beff611cd94b5fa7aa7bfc129b0c2bacd34771d 9892b8c98839f05f8dc4bd94c38dc5ba0954a8ffd1a6e5b474ab5964a7bb12f1d051d73366d8f1e5