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  49 \t Y% Dijkstra_Shortest_Path:threads=2elapsed=69.405cpu=93.800gc=4.404factor=1.357zXZִF! !T]ŗXf1-/6vRZމUaHz..pA2`-*5",Z l{闸 ;-XYJf5 䐻>|po)cug@(qg^K 藉+Au(Sqуw+"s4#0o5#9»UYas_^W$4h7'>~-ޛ+i+56zx'B )E5kj%:8m]▐Иfl!Jdzg+BCB'xү]e Q +oIrJВ4 (cf:թ0V-x~bYʑ ]%{oa<HAL1Bzo,;zK3x¬*0<Ӡ1tWk~f^W|u΀hHڤK}͛N.$?1+צ:tQиis:dréÔjݤ\fGAWxsF 9 Dijkstra_Shortest_PathBUɱgYZ7zXZִF! G s]ŗXi%6氊4 t8AgO$Jfg'*-&Ѭ ټ2v>Lw׹N<:VSyO;l-[4|Д=t`|KþR2_H %RQ?s fkmb9ˏe 79ڮD]H2j;.;a=z ,'F NiGjI4ڙca2ȧ~v}9Q;^?h2Cf׆K#7w#cB'3h$zպT 9۳Ŀͧa)Y?H$G:!WEZ'p>w*qX}ٍo'TU W{ov D~^ xىcP9jKt`zA՞DMśZ 5vVD(+!X%!~  ػ۹c;o Js)=&,zEypWH)6hL٠#q3|SN?Jӿ"j]P} !S+( w l7׸ |9*/3>J<:eo a$,GHf`M\]@}-_ ۧtf.>F'@@fu`ZJq斈ISڋb[qQUDzV7tؠ3DǀVXWh zZoUN>$ʜ YgZc)| Gfw!$;|gi j@Ȩ@7p ;z=?zEu6q֘$XO.sh$Pwcm U\7Nq>zWVVQ >k3N>P$x=E >L=D$ UJԪ-;] vKmqݔNvFy*yh+, 9;n+&R?hS B7f8IjGk EPX?b+0-!DBiGQ ĸDghI[Y,#­ǝ6dY5`EG++twL( JAi?x8L kd~., )RHE Z~vHJhKqVĆ- D fc D-/jno+}teeӆrw{* 7ب+av \v2<}~r0`ӕE'P\Ayi~DZ,(}_d.¦L uC^sOE k}@GGIVģ-/Цq1FM謙w!GQjCh8a157rXCj;+fAo>u0ԏ%yvow3tջ$ΪY@ b窏7QZC3D --%".Þo5`SWGY #ʡoÛ v&3%s OiLqBH`Z⺁Jjj2$(Sn@ZNSⓠjՊL{WEՒQTk4fp3MHuftDC|\oP^6/›23, Bb8iQ/%R3@#`#wDfPL!xDP1My/&!˗nF W2}k|{{obdߟ82츘/x0o I*+dD|~31oׯ"\Zk7Ȁ*!QܝxT/_mo02]ZDŽTE" *od\[m\TSnjvYt?{D1TRg㘧7REKE1ʤz9e&;s tm 弾cV8lWt{ض"SM2M-$i&U6x c^ǐL&R . "@dsrM%TN{reO9*" dd MǢѮVuc&-Pȍ !]JG1vp 9(2dvqzqkk ZiN0tރ$J趪f*?{ajLoD28Zc1*wAݚZ?E=x> ۢCSA $VTxnbpe,j)qIT F0miN;%&[LB Qcms0gx8,Vr $Z+(!8z텤Eׂ ߉W)*v<褪D"4)b뜷ӭI{d,Y41I] }/`Eo桏lHcs7 X6 3{&}EA:_1_L) ^_{{R%0*L!Sxoo$b _ITJĹE(=T~  T haw~ʻ^xmNW84l |5VuA߭R9"{5}m ]dI&{\'B.b M$QdmY&-Пz0u;,H:v):?\RAE~5a4on]qVb4@AHQg$̑Dsگ:B&,Z=5i+DAeO ]#zm柦 4*1G Xu?+c,g"ss6*].g]+\4H>R1zv8VA@X D R}Cco/#0jhuSLl^lh(qFD)rDH;d}xp\e܅&O/eQ7)YD<Q$Xy6/0p„U7v_S( W^%/Ui!Hw&?2;:Nk ΧLAL IeqW,1.; ?*Ƌ`:Jiwcq@gb=\ilr#y?Rݎlx/XkRBYllnyg2oj~d;1VM$[z:@T?-.D╵BlĦ4²u#AXA.9zSy fu! :0~UU 6?>;v3-gYZ007e25c13a5f01ba39cfb418e6b0012e371a730a 109e970b9da72388fd0e180ca24747819838297b 1ac61e206231511d2078b73713ca387efb2a6c1e 24f15da755732dba12a034bef8b59bfc000f1433 31bf0d2af57f222f2b0c68cf902dfa69a555f6ed 34145a98cac84f3818385e1f8e188542b3dfcc97 42e34cd45479957971c55b64a74f1a2ccdf929e8 434f040d5ca19e995fb1425a954f971e8a6b9f54 691f5feb8bd8809caeb2fc1dff0d83bec6be2e06 7c8d4c24b8246d708d8f415bb53cc4f1d24acf37 a5d4e16522a6ae1affacb76907cf439ac344b0da af1dd4ddde08a3f8dbf4ff29eb9cff3ca56da81f b15bbbfca6a9ad1ee5b9127dddbe421c3e55cbd0 ecdc7e2cf134dd92728a8cbba59b4fb78bf2165f f8d98f08e1c4f028af83a06959a1096cb6cd8633e4688efe0911f3c4685119d2413b25847e9bdff2 e62d7733884c28c7fb0a292b7be70c4f22bfd1a3 9987eeffaa47768225e03a8dbb99ff4465196cd4 7019a16803b89683be990817f3b3c411a9426f3f 9e9a03e109527f30dfe18211065d8061469f5cb1