SQLite format 3@ . BBh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_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  : :;9 ,Ll ]% Dijkstra_Shortest_Path:threads=2elapsed=63.294cpu=83.840gc=4.540factor=1.327zXZִF! ]ŗXf1-/6vRZމUaHz..pA2`-*5",Z l{闸 ;-XY*fKELQ:WOK "`CVgA"2M%9;m9.MSGJ 虖9ȔZYm6A#gqn Qʨ!|8XSLEįh#SGko[/<%n)ՎM9MomNUd@EgYZ7zXZִF!   ]ŗXiɟC3zto?;QŷG'&tCjT j8|+sg-Y[ OYCuQ38x((ub]4(n|Y80jX{ 9}ըsޗV?nE7meo\;*~o/ukfi?k()V3Ge@l^L?gґќE5utqHkʺW/p#3?q0&>XNu>Uck tXԠЇ؎^S4 }gYZ7zXZִF! + ]ŗXi%9(OMnh)]-[ǹ5e{jĽN"eXU>;84(U}ʛW \tc"l,ܺv=~r &si:! U{;zoa_{ V26?-"åFh=,gQ-T)s8u\2KXPmmhhXCeTӷy#;3sk7>Oc PΨ6=; tB8h ,sE):8]QKY`fg=jmD9M'[sK6g<uVo(Ĝs=c_Fcro"V+wZM-u;)K<]WV+Ned̳lA]1dQ$3XFfpR*|_N*V-2>ew2{0R'6RLΦ {[_aa@@IFAph-.Ǘ)m Fu[4 E~}` #}蝮u"3{{q#/wp,t=xgNi,z,5(8>hd5{@p{YBݤ1r4%B @#;Y0oGP jL/vƂj\rh 1PVT'vl 0HfE>ABzO%Q_Kn:CAR哥0hwܚ_UZ 6TAlx3Rb'3 1YI*ƖjK`L{-wXmzr0Wۍ3^\u.8 @Nyr!-u7L߁^,Kd4sR6i˂EtiS[!]ϒ\Fh7en$ IA£1m/0/qAݍ9Iųa=Ѵ& WH K;k ΫKf7igv1͵? Cڧ~Bu `vs@`l&=OhN&cA %R?@˸j81hH'բ .!B5F-8he?-V`M؅Wㇷw`K@P26rG.{}Q =|¬f" =5z#pTA6gdZä;͔zG8_qL E@7͸Lk҃#b2 (b<F>QUI) G%/ Id3#~ 84S=z9k. XEjG& :1pN%uC:3 #0 +ՕZa:tfֻN`6H,X26qu^ɘ RƶlK= ϴDP,`[~( j^+ϫ a -7#1*S Md~Ѽb58 v.{ B?~~*yEtּv8?dGfb5vVi'!,nW]ok3J#PҡEż3#uBP򂯒uv,9@|f(=_Sn(p;dM,X54"?]#?I lb!%loq8& c '