SQLite format 3 @ . Y Y Q77Atableisabelle_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]7 indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info R4 I Gabow_SCC:threads=2elapsed=140.049cpu=267.976gc=9.588factor=1.917zXZ ִF ! PR] ŗXf1-/6vRZV2OHP"yZz%}<X53 q4%>0 sż2%_ 33 b R'>`{oƔ_wF6Щ4gIN~8>yBcW&立54qelKד62l5sj&9o_q:1SD'Nxk#a}T͟avPd- HmsX;M]9U؞2Bg9}B3@M5I7I5VޞWҵ(!TjڈfH|⯋' V*m}^x3$4emp^"/DȬ%I_G{`c.\ǓR7m3D~oΠIK"*TX֥^)(vA0qjmF_@uΤ$l{ZmL&;rfD[;6×c%ː|wƕ}A 6l2PO܇<@_RΜO>S6Ȯր@~FkytL=ɼܺ%&T#o6 6m_2{/CTA= 8,E'Siim Μ.gkDS=rLmd6w&W*ya Hm;2Q8%^ 8y?k b}!G}hTrW]#Cƽ+Ww9 977*$^;_;}/ʣWöF5*P#U!c ?FrSͦ&NuR\y(V(i&tAT,ܬ^#aZ[ [v:P݀;*όR#HF{ȝISkPO%UjPnʨNbKV6cyqrG=a`ͯ@0UHMâF/6la n3EP0D@ Yj#7TP&QmɟBsOkykGc\@&EiiV\kG'FΧI /dCٷ4QZ0?gl7*EvhסB>r&5[^{\;#"u JD*i+jf PgvY{o5[gu4mqfWɒ'GtXtQ:(*N!rX3Wr+ZeiY_Jtd9uDީCNJ@^y)tSC\V'7:_@Aw{*7I"_(Sm97DP?Ŝ\6heЯ0]n-1?@ +L~w1$z/giGz!`$Y1BzExI5mƊ X!/u{nn{KSzmeH Gabow_SCC L1ǬG>͗|ǰƱG| _6JftC(Mw 8W&XZߕ~g?ۋ>jw M/;C 4h i '>2wnVPNpص)#Ɨo}J ~yTM>Q"^k}oSwIOJ|_@y'4]KY^3edqAH!QS(x,ّvDd\u}W tWgVejۜDL]Nm960݆|Jw4 .3NŃHfH]s>Dk!k[&yKPіm1[9 !۹]j&eVڮ RESOw c|g YZ7zXZ ִF ! ␜] ŗXi% {^&2bY[7)yëuqM0ࡳc /s}E84tڍi;5/RKhsJjTG͎m%/\l5c1(AkT 1Ru