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  S ST I Gabow_SCC:threads=2elapsed=143.167cpu=268.360gc=9.216factor=1.877zXZִF! T]ŗXf1-/6vRZV2OHP"yZz%}<X53 q4 %>0sż2%_ 16Jpzuf5mw $YZԩ};ģE)UaH*F'Gcu}Z#om񼁣UdwKTf2jRwVsq=᧴Di?8BP4z F(~IJ^P '\=O6yD,'zZ$` p090 +V(Sq276jE!ha[wU$3pn1Tms%T#S 1΂r9oC҈7 3)unCJupVrXϯ9ķTC6F6ߩF㇌  m0Oe]d s N|낡6SP_fqdae(nՂǓʝ-p9C&fEnC6!1 hd 7U}E.◕FD](~ ˀ/2=OU5T͵|Yw zL^bZ%EQgS % s\#UT+gz=Ֆ=[UV5oh*{<-N _%?KI95zu}@] Ys2as=˛JUAw>k:\,7~b( լI("Gw}j<; Zwaރ0q|6B7KnG\y%"'i`ۋ/ <[]5k9DfRr [W]4UIeuIVcl[Pܒpbsj(P:x=5+k7L'Y{WF) K8fݣ@=.p$E.˾Cq SV,"cl)@Z$rf5+LpbDYy \q7ŃxȦ!WJ֙3@Y#=)ETL*lڜ"o(T]?~!J8YG[a<1m#cf<˷NmY$m_f~CK%˥*AgrD/ͽި_ȣIi \"/!,1X8S14ZS8[OR.-:*AxJ4y0n3V" 1=WTR O;/1_Ah/@s;ޭNHՍV@(ygYl kFhCt   Gabow_SCC$7rB{8}D|qA/ g T2 YrCAHպc]PhFa\t'h4i{\CY(+6fr&lhUtgE%⋝73&v S  bZ%ᡃ%$H-3oB]Q%O7i5K2?_XNB=}y->],{mU%,Pva>W_z/tk _,N~?>WÐ*p38gKl-HsgUoAUAJ{aZ5TBg孱gYZ7zXZִF! ]ŗXi%6: lE*{|G :0y  qOvdMa]dpٜVL7Ry O_{ׂs#i!]yphS$RZ%ǦҜ]6 |?-rD>P Ҽ u,l6YYfܤpf dqɑ% F-258MTVӸa /\顝Ưn®-'wvpWB~oHD 0HY3$h{)\Q{}MR>Xӝ?S1ҚRn4Oer⮂?U?U$aU,1_.l82]XEEPll$"jVQ/$ABʋf@!'9ZKMUSI}8w Z >yM-!)p7ݪ}xlbU8e\i!L7K`dXg[ oD*hn.騑rލ! Ft-houTb@VDy2GIUҿi,>^{-:APGt:I6`'ih"g->[7BLcv '[y"[dIIΆwc3[O!ax*Д˶B*DʺJ:&[?KkPE 9_jHeޘVTuj侪Ej_c)yGrp5H>~4;,o?R+ܒ֔_7,,,IoS}t̠2{ #XY pN[.QH԰ŖfCku* ;j& ݻM-ẘ[%}=r!v~,&Dr{pb{UZ0Zjq53o6<W#9OzUûvؽQ4zeɜgN%pc (tSnWA(k'Fj#)3шFU2V[Pm!vMBVCq~:&Wu.{[/8Tã#&1" oJ$z‚Sڥ կwef:T B㹉p<*4\+%rhNO@P;3 ֻAutl64;AÉsYYmL!.GNC3G݋]Y0G`JӎJfzjYс~[KD70_lѰQb΃"2'(Jœ1~]_qީtqEG& #qfUx Q~[_+[# 2ܰ9g=`QJ|ɶ"vF;dffLL%>S~Hr( SZķAp̜F V|Vw2vU-?ْKQޗ+u $Č$" {\ 2@Aur#Ae7nTJqm$4Y))MIl!T_%?1 ﮑhOoZvZMbhdmNA'-e}(Eڑ|h{4F}Rp A?E+bwXF^/}&Ǽz6 {-hwE~}\(~Fd DQzA/84|_IyKukJDZ1vmmXsf 7W8GW8a53܍ån!JNVit0*&ꃩ]u%n | ,bᔭX« 0 ]ɑJ:B|{sHdS'$~YOÙ'5%HY5 Cn:Ϊ _ӌBр7E5%$8Đnskj/Sѽg࿓X_})k_uު g#TURI쭼f* viX^g-"(c#h7òlkJ#~Y ˰lo gnI4ܶJ{͠#ꑏDvyOIgS"lj3(c z&->:4;:uQסk.y""~LgzJ U~u=xþ3M"6r" J*  q.kԧ}M"8%Y7:0(HTEXY3qx b2ܓ@Q< ?z+4m\SՇTE;Rq!G$&J Btrj}44isBF\4zUj2 Ki}]ۻ < ?Zn߂m⊼UcTr*)Jr^Cbs39ڴhHJ?(VDZKtlL {mYXq@w6H 28ogԜփⵎs>w}Xr+{Sq:c2,WA[ky~ ?r׆&/N=s?ڜxzXGUq)DHŝVȳz|{8=BY㳃s04Ǒ.e7[#a A['1J060v@PHѤ!FX~A\~YS-Ȱ=K\?Խ+9o:Ӓ}{'hqvٔB0sLHVTe@/ |b69*n )VLW;M#=˩G)J%UN:3!AG,WtMrGI u5jdҌ_\]ZB Y]qҷ.Ow沈7YB;F]e`RhR herL.NB e'1DH!CV<)jY_\cWmGJKBMCĕ mCD@(-.yLb8 qC1+pO5{.>RWuV1i [!ZwZ4m؅En;DjBquK|:CEygF'irJͼ#ɵw{zD:1˨"Gfg+C/{AΛXO @W_\9Sʂ@HFUO=:o jɱ!ax-k`ZkV8MdkQufh6(kz{QK;s@ g2`L>d m А0`-k(Rz^M/fӣqәQ/L)[l\keަh"11y`VOY> Kؾu Bv'I_`Y]BFKb%z *i5L|3C.@-:kF*bT4W #:IOQ ,&ƙ &pdPL;w4O\Wg~,|#І iGDs#uq闝D B [[ ~_C(AKcif%]?%G: G)؈%hQz4J 4}~o `Icl}r+qۀ.S ..H @^4>U\wK"n2XRţ0GFhȳctQ-[9}Htp rcz5MͬR{/iRu 3[xVY[us2hk3f;?<$hbB:s(S-E(KtA5h)b\>