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 % D, ]]Graph_Theory:threads=2elapsed=54.214cpu=98.864gc=5.696factor=1.827zXZִF! QO]ŗXf1-/6vRZ)yqFO[~QOf>:ﮙqP*VX0GGU $r"gHV >>^abi`vD>3 ZԪ""wEF*=qr0t!%ĆWYkQm0KFozE ]>DCGEdF]fzu-+?;o\>B٨!J~pl03^8 ?;3Rn㷹%f&1w{_?VC7 /|Z 3m^fIBl8El@/ Yծ24aU wyÿQ7A]8.|砢*5S;ګ^1zPM(Shәdp Te}קpqrbNMU=w A94R3[OPTt06(x-"uY2pɗ\YojZϾ8f> j7"XA p\+׼J@00zNռS.# \0Ȼ' L,"[v<GS}xjxh1VF+p"*=VFɫJ5PcKZ[i·AE{˼ˋk" ?yoi'͹?WL-o\8/RPK@*ܴ{]Tts/I΅5&%<,+vSn> {FNMJruu6M~7v]vOvd9+MA2[t >+!_ЯnluX~/Tnj>iV c[zFACj>LLzƮmPdw .묒vO]x`qNt?yQ,Z9'Xq]G#.tIִ#+x܄j[^̚>I?7##vR2#c];8h_‰s'0|kW]$m8Gc_AyHP{\T{sI)/|? C'SRWedrz 1HGaܤ a*Y'J.> ;.ercjJ^$cae1xwpdg<0 FQ9UH=kV7\yæz8$ZYo{Oy:oִFL?5=2b&aG&޽ݑ6贘4GW7wIbcVR\kbġmq0Ene\"f:m` /gYZ7zXZִF! K ]ŗXi%933`< +(>M}*E+֚R=_VsXȺǨ}S/$y𑊴.mLo(BVXfupk`1sѶtkq́5URO0:k4j]ɪ2qWI@@HJC% .Fn|9U@50ʺW$F |4G+(Rޏ<@0’7޵;cсL ]p$6JsZ_?W%lv2yICAqbq,}y˳4oW(Cc6F7\&J.5)o[勜ʩf 9ojheZ0z X47^J1t$9^?#SxfKuҧbn/mb'g}$~Ռ{ &%/UX:[j6H만'U"'vb ժ;iMKk^-%;:G')TLD?H|%\EV%[l!ۿs,FמnIDXG5Sx/F &d셏afʣQ]9 ƮAdZ32\/ϑϺ֭v!xR,/pNܣ*Xx5K V,Fwoɐg"hN2@5ĎQzFygEg<D&bYۭDGLxxfa{No\7AT'6NJ3 іu!GbYIc_A!=0(x|lTYPnca$q(WЦͱ=ٲ ]-V"S9nPJmoZ;K͎*dbZH(G7žKV5j([餲Bɕb;}̓Q6xʁU`H|: 1l 3jiCxAL!5W {(^wx*fKz:_? <&,_<b'0AϭZ[/K܆V|=@bM_V٫MwA+Zո/"1jRF^N-׶[A&?/_\ 3D3,%ݸli<f|ݚSI iЃ p5NȅϦKVw-WU@F#j,g Q>1b]{϶7+] ע&[ 索n]7 E81`~`Z-r/FRD'Ll@CB֍Jgh{#+k6 E<IP~ P2zjB =j7B)[\ `u2i ĸv`0bh\v!Fj-K]Cz%OgX  r>%JTr$͉jmo-`E=ƶ{X <7le'G[+8%H::5[$ĹXfڌbf=cHJ{pb]dSc/_ڣ{z8`9\wIև ˊTpæ s}WvsNVvc6\\R4_*^9Ktn6͜e~:5Y2ijd1/Ci)gh:l%"tWK& B\Ov{<{ZYx TYK @-, (Ԟ(3YyέnEtt&i񑬲 29Eܹ"U9aeLk*x(ᄏX9QhB9A)l;j_bQg vf~q#0|h?BcQB4\$ PA$Ot(vc*╽WO+Kw̅x--v!k 7ƤhlnžkaɃU 5=\yPvlI%3SF$!RK HIB ;j+NK:,V4_ ?)g7RjF {vBb{pj?eR 0|K!KH6(3>?k?<QyY~W 'GΰtE`O ӵ]+LӠڒ/kh`֢G-pSH]`yX4ZjH  LjD0 2? E8ā(=Coԛ.Ef;/D%sFEu22rƿ[drX5`h7ku^ *ׇNؗ*>f.VF3&~ p&`[~̞5gYZ4b45db511c8bcbcf63c55d0dcf8d9f06477c8b56a86c2421cb3bf965bb7b88ea7ffb63ae19b7c19b 246f6e81708adcf47b424e236c7a30d027d9b852 5bb8c4dbbd21942ee66e9ae8e3e4ed5a20033039c7be25866d0afa718f0c14563176a6e0a98048c8