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  d9  Y% Dijkstra_Shortest_Path:threads=2elapsed=71.605cpu=95.372gc=4.136factor=1.337zXZִF! &]ŗXf1-/6vRZމUaHz..pA2`-*5",Znڭp.%ָǐXak?H&PfxZCG7u?L[QnUc0Wrt{ - "6".^Qi:W>߇ 5(7Y8e2Zd`:3U%ds(C;g0]CљP::6b`@ $X AAג  ΰ|\M5ٱgYZ7zXZִF! U D]ŗXi% % 5Vɘ@/4R`ۃCt(H 9 Dijkstra_Shortest_Path4H1KPoN@Ȏgc #_|lwϹoxFg-Ƶ5&nږW;\Q*.iNҺLuo{G L6q_n4C''i2C;>B/K"back7MF/m 4wQK*UA5z~֌p@`z*AMT `EOB&nV MMB^`y AT}q \Nm tϯ~ c'jiݬP'^pzNʻl:)A-b]ܼs ,y'رnkK #^(, ,tﺚ@DݩB ]WWgtqТtZ'ۭVeWAki?q;NdRIz *;io2Geq嶭WY߽eyX<{zh@9Yn"+ӄSPBQR3&:e=-SЫ1/Ѭe6!݊M $غ͘Y,CqnVj +'EEJ@r $nή0bTWi-wp >᨟}je+P%+gP$eX].paR?!^,9xv;LKX~ܓ /rӫmWD"%J Q{8UAX˿̡(kջ*CK z_ EZyTу K%&Ж#L=;0~xI)1A'*8FZsEo?Cf3=8f:>y`ҍf:{ķ:Vvg9{Å>\Nj43Y*mx3r[6kUL1.Ys)s=)^@ML)&۬@"}|ϱJ2d8[J{bdSEn9aZ#{Ѥs ے]mNAA*sd`P@$^}.Syae ȴCIvmdr2AXVoCL":P㛦4s'Fg@^iAunJi "S5aڤ6p^ٳ6?"VOt7{M9 XQ(qz/ߨS?*I|y '!쉶xwT 'E]hAq A6#0 ށq4L ׬RL* Z{5Lq0^j xNFA}Ji6AҶ3 ]|3 sp5I⪋CC_¶#?i~x(cu C#e): "~A3~M5U>p կm͚eB**5ΉVdj;D/ 'sACpŎ:17hu^ QݤKO]p)ECſ[qH Ƨ ??s pkf WUuӵO^ 0 䥦o('j''ňOvf zه8'^9RПD:%BPv> Xm9dƹ|T\cH7kH+x 5Ёʌ,ȟw"x GqG Rc;Qn`@t"\g:\_:[y? "D >ګtnI(]k GPcکϬC"鵴jSXK`,0]cW YiqjNF㣿%w< KE!3 i dԚ;#*R"`e3/}B>H]b7A>^Wlց\ew=Gay<$@=ƞGA="+ ċ3駩Jk|ݿҜw7gkuC[kҢH{ܴtaeD;,~}qѯkNFHaDJ];|DCfgCȰ{1k5A> r3a ]N_"Z8~Ы 2dkp|: dg`NVP c\zsIm@!BqxӒ0/+x!3X< PVFO=›DA]fF`ʓ-B0ju>]+~QJvp=NJ=B@w%1XBu$ 0 ߶u)s`AvۼZ{&2IW )+u7?wƗQ/ޛ6Y\ȷRgSIkKp^Z{;̑HP3)7 %>