SQLite format 3@  - llB77#tableisabelle_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, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info FF9 t$ Y% Dijkstra_Shortest_Path:threads=2elapsed=73.174cpu=94.900gc=4.100factor=1.307zXZִF! ऻ ]ŗXf1-/6vRZމUaHz..pA 9 Dijkstra_Shortest_Path2`-*5",Znڭp.%ָǐX+͒Lޒ0!O)\L W! @zTB!\?\w=ot=k萵Ja-^FrʠX8Y'mIMTH(jC?Ǥnn!ca滑Tg9AWuWLݖ Σi"&gp"rѳ@RɩHXuYk06cg'P\:cV|v!R榻 .j!C4RCf/#0LDr#c^YwwxϡT,-9! H9n\?p2^$L9{gL40lA־ 2^?% 3=]AT F\_%t4OMן/q1daq34iXoiiCPLVn D#k2q',S -(K&U, ~5lb6%W[rT;Rq_y~(d!|{ij@$@{i=6FN0\aS~!hf-w!xiA( Юi|k @9g,d)]7Ofż"-H 3߄}94e˦)4)Ql0pz ˒ %T5ҼLyedjVZmf'fBޏ?'nc@RDŽ;Mչ@&/;;;HpA~2آ {Bd$\/4NWSX[  a0m7H̃/;%4O|nhla!JƪT E|OXi?&. $,=%/a<:gHlr ,-rk-jnҾ_Iu~A?X1,%$v4 E~#剈[ULA/OS?F2+ҋÙ̃t&:*PI#psL%ip4]h+$23R"Ԗt |Zp0w?_]G-abKK= ѥ `<(SiҒz s|T2®.9(?%}_ )m1{C>av5Q n3Ú˄G+E;[W3h>譳.rfI }5ei,wg|뾎YZM̮2 U1WD7 J'cx[qgYVP; &[urh{Ty'#h:U]QMf}v }' Lɇ#V4ľ2/$=2Y"h&V_̂ݏ _,&㼖{RMy5IP|Qsg^ ^F~rEJ5v}2,fUYňZA " -l y=;M㞥#JMPj\ >5sp1x[rGFd_ddH_.iR;|N^و'R 1+6)zJkms?O7iq˴z:H>pLb7}=?>0 s=XUꎧqı^aƟAAdߞ\dpQrg[ERQO;eSX1i"$ d61{æ'qj`YIG[+^S]vOޏ3XGgYZ7zXZִF! Z ]ŗXi%H1Jl8PvAC~l%2ʟ )ʟ|澚}C; Smab'v`o|YB9"jJW1<0P7ϼEvίu=|g38,|{w_A+ؖnl/:SxJLi]MV_!ڠ PvTxƟ Y*edǺ(oU5$K5W)c85x0x }J~9Dz+/eRS  5Q}b2pVu9 ?h69FZ0Jqg26 +Tt#ՃͨN@5vZ٤˦,U|"ϰՇ5fGK0+k~pR5_b+/ݓv"Za r0% P4 ڭS40i>D]n3Q HI5< h]{(D{ 4Eֱw>,A~!dshf$tRA)ƙsTk g*D$J|xp} oLk^cvnj&EVѶ G&+Q~B8;g,ۏ] ɧJUsUಮL#דUhh%RvS'F?_C*).iѪ1kI)z9J|)b♷ndOYM&"/q1*b'2瘕_ hcH_"B!9aI=`U,xk=pb8X'V5k/:XMpw!˃TyE~&GvNIWq=w_gjwHKo GF%jf89"ǡc3} Z4 9\9vr;+ ~έ޳4~R]{IT yZ b #e궗,2 3҃ͽJm{׻OaZ@6ӈv׿R22 <Qh,J}붦j{p"6 놂[0+;Y*W'X{Mzj Ƃ8v! ] #A$:̆3A/-lvw_),ɫTM* z@s5!""EPuivJ>&*Tn&j^@ӍL tlB/ "GLH9{5zRS[=L`|iCK,5Ʀ{cakS݂6RZyVm8E:FUW3 +)%[S_zɛ.t e 1"!ȋsf@$>{oۋdlҙh Q K٣_,=8Um$[~>R[S-J9rMALa QB!i[Fm&AN'ZȁpRg@5q(vUyֆU3 ܻ{ -(K-܏EY ͑!a}+od^E#r1qC}~;cE EqeqfN<>דbSU/o:t)S6φgp< v#G@P =|yEy ]5=7܅T=.;K Ko6sk]ߏy)S3@^z z%7NOXXi1l֋<2&ŬҏNj5D ~bEW;V/GԨܐ RGG][U 5 &E1AhM _!%Wm\n^"sYGL%8q؏HvqW.-iÓSc^6LJ`hf$szXSv pd0.Lae2=s*yhh-O;\sNQe3!'(9"7!HNL^Ӻah2%tj/}!t23Zh^M}'5n-xu4&W~"Eu]ՈR3Fk~-]]!t -+9Ǫ|mlz<6NIDd5^ΠC2V ~S1fj ]Lv=S~]j{IoEsy?]S#WPGlsŕ,>5g,gGwiiAL}{38Ev:黶Sv4$ AԈd?6te`Ҫg/V6YTzSm5v` {]A)un)u:pr4O>:HkQjnOWnnƣ[5Vw/ Լ s Op$'e56B<`=ͨĖz5>=LLa%}%nf_Va @ K4'~4+b%gzQ+Bda4Brst;DMLRQ]GQ mw\m `B$$i^b D~{D[tCBz(WA"0Tr7)wgYZ007e25c13a5f01ba39cfb418e6b0012e371a730a 109e970b9da72388fd0e180ca24747819838297b 1ac61e206231511d2078b73713ca387efb2a6c1e 24f15da755732dba12a034bef8b59bfc000f1433 31bf0d2af57f222f2b0c68cf902dfa69a555f6ed 34145a98cac84f3818385e1f8e188542b3dfcc97 42e34cd45479957971c55b64a74f1a2ccdf929e8 434f040d5ca19e995fb1425a954f971e8a6b9f54 691f5feb8bd8809caeb2fc1dff0d83bec6be2e06 7c8d4c24b8246d708d8f415bb53cc4f1d24acf37 a5d4e16522a6ae1affacb76907cf439ac344b0da af1dd4ddde08a3f8dbf4ff29eb9cff3ca56da81f b15bbbfca6a9ad1ee5b9127dddbe421c3e55cbd0 ecdc7e2cf134dd92728a8cbba59b4fb78bf2165f f8d98f08e1c4f028af83a06959a1096cb6cd86338c20d9719dd3c794171052bf139f7df3bda5efd9 787d9064b94856bcceaf7fba7c00dfdb93321f07 aad358c18536e20ebd8d6150a63c36ec6534c36f a086bee48018781791364ba86ecd8a803be6aab6 c3a37a6f9f1d674815a3ebc601d30df13a79b37a