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  Q Q$9 , Y% Dijkstra_Shortest_Path:threads=2elapsed=75.886cpu=93.616gc=3.796factor=1.237zXZִF! #i]ŗXf1-/6vRZމUaHz..pA2`-*5",Z l{闸 ;-XS.q<1|'z$,wf4sKY# @exx UlѦQɒepHR4wY+߃DeTbx r@N^̤oicH08ˀ'l1*+\Q)FG)N?|$rSqro.yYx7R^&w*Ȼ;_Am }6ZueDI nSÜꅨyqN{x]=e{*3 ow|7[y~)[道£4cdOaDcXKb8g3@b@5 }yl3V@+gB/Y|:sp3i̴? SBf)Pw$ 7QLA%pUcW1*,8m AMvr` 1YyZFGF>QW?Ɯ{֖ZcσhZ+'v\o=#F$>UM6^PLQ}aJz`-=[$iFoV𸥢̻?|,tCПh9z9PI )ߋV%6\ ;E_c85X%.wd$&=?XtF#SK81#fا]h䵧dq<8{|ya"s/n8ɭ]hI!4>! eCi2i*rj]տ5q|408qap;1j/Zٷo ʃy_5g9oh3 5TN%~%ػ>';XTp`#]LOM62v}'` f$+Hޫ>,٤qWygF` gYZ7zXZִF! h ]ŗXi%+"oF{; -*L&.{\AV,\׻v-EYhw%@g \EDY*u:ElΊ +upl>[Ȱɧ9ʚo#jbM2 A΄SeaKfOv\^euA9é[2Bɮq) h5TTv;TL.̓k VɊˠ^*酮n7S 9 Dijkstra_Shortest_PathAkOC-pY,[d'!CT.[ krgޢl җܭLa!0)e^|(_,d}l^ZQC'N4gK~d 5S/ƀfB:XM"u^xQ w(vt[Wk(R0>Dy{^fSa=o.Dm\uJéy˺Wynl-nĖ1*q30Na]Z1m6n 3.F [WICQB}+xKd #|ktG#\ 64O&m\:LQHР>Ds°տ͟ R dG[5ruRK.ϐj &NѸa?$> |3jDrAgt#]lE `N͜mc>$6Fh -0%XƞBƥx5({a9p{RcO9Rv?ۅ#sYe1 z |hEF5ÓlR'G'0BHF$YFߣ:]l,Qf[9lε7r_k1m=CॎiÑmd^3|X6;NmSjZl`+sxwLKu{%pjꍆi蝠6,P9j OlhÚVGO^3Wl6 6CܞW+%=[yz D4u>pV8Y(cØ[@x]}ߘ{g}4rU*K@5 Zǭc#Ox':r9yYAberlcJMg9Jvݒp&^kS5۰W1!?AZ5v 맪EJSGq%2~|=opC`?F8J,LLԛ*\s?VۂUfOkf*./~tT7ܮlYǝ9x\/V6usAX&oߘyeg 9Erv:.ГɃbO?*=M~+5Rb՚eѡjePsoH֊WЏ^GXAiHS-FEX"e+ U۲l*OF̤Sѱkb@Xs[ksNEJT/Ϳ'$U-(:?scĦ2~'E;㕃Y7=fqpΤΒ3H7UGwt*웒T,ofÖI'"픝N =l .#lf:.lVi0W08pD-BjA25%aفNʩ(;izOLص[ ~(\, ds>5 M79`@մt'nbPzc3ZDSjج,Hy={XUf}ŘP?˹}F L_̲ѡnnk S ,tku"lXaeu+߁eD<~]AT,F1qX2~4@o9 w BW$sP{ èr&%ߋrs?H|-uH6d1ecݖ'p %S$0U>TqOjW,30i Ugp H >0n&Yi<%M蟭=+X;v+㰎/"#R K]c?gBMpsвM|۴/T~0;B+pt{/ŶDL&o>!M6x/IXzb K^LZ1w%YCNϖ;UPM+͛bzP욼3 N1}iԬ{-i9/}!civFajLvr2ou6MltsOD245 3W;&D#7 B#Zߓ^e7:<4mBPl.a?}q:kE6V6pK":`B6Q/|  )c3xF翻D@lktT}jnUer #*YToai+p`#զ{7B묌 =+' IqVCx~/5~jOTnLvCAU"pm(h&KݑsG#^#b/2s卽ܔj8 uD)vnYd~5bx Jn