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  X9|\D ]% Koenigsberg_Friendship:threads=2elapsed=58.945cpu=107.396gc=4.408factor=1.827zXZִF! .]ŗXf1-/6vRZމUaHz..pA2`-*5",Z l{闸 ;-XSm;1|Z0lɂ6Tc3@X,79Į H%te GwedwҔQUn;ݯТ;>t\BŖ0 CvC}eD89`+Z,zɟT$>Kj1(HV6!<8SVF}r. H0a,.٣:@9&^{ V<92dҕRz~`&{I+b鼱oldv.@?r`a_9Dn!w؇k.<*^-B\TjvApν@4hBTEQi\t>^ fe1M5wR㛱ȾCn Fc LŇ{Ž_1b2x^.Q Zwif|eB9 bm %DH+Zٮ3 pTPI+ߺjQ99G*[/+JO折-\igYZ7zXZִF! ^]ŗXiɟC3zto?;Qŷȼq,S6NbhR-֝2;T㱬@v"i|XK/R)[5OX2l"(t/(40bd?W)B6L " 9 Koenigsberg_FriendshipS"kN$bcn gYZ7zXZִF! $]ŗXi%4Xp 7d I>F]GQE!YGJh}G;< V ,+uF-Մ̃=\z^|IDa].b8 .x],I>EZX7j!{JJ )sS[۱ Bʛ-謁5m PrIm#_l E\DS4 j^5y= ?Hu,sKW.dfcm Gt8z!WC1/e)^\eo+x;.I|F“^j(oP; d1!3傜IYnieY/ o7s/8} ABL_v pD(KxW᠔1`}jq&7M#|Q\x]_W;?p/I| [OI.Usdk΋>C"*=Q-A Xl Z87xּz^ᓪ= !/apf^dLeeLŁ fCS#^ 7-6_#NO8`]-*C3ck S?w2`zSdגZl|쳊43tkiͽ5yIk VE5aF) [bR=F1t`<)|Kh*KlS0bkjEF,PB6Z 9է-Zv&X=&Ϟ.Qe(xgq9H!1x?ML!%Pr]y'%DY؃qkNڣR[7%Aa2d)؝;ʭY2" %M".yp*K0xY}(p2芈2IKS':z"sh&ޟa1X##~çzc}Rr 9bŶFKн=opr  Epݣ[⵲Z$f@nDnN$1U)(}ZmsQ iмimkiitߦ f$9ROTq*,ZƎ?$U:pD I`Sts\|Y0Pv>Po45DsA+ePw] G~d%HQnb]l ֿꎢ~☭ԭ{EI0/&!>߾!"v漎Vzf&uoxNd/>ZQXL*⸞hBAZ"e!(r+9` GWn t(ٚg4l%oc|u Ea:͹'Qzkh~8fT6aoc}O_s>U>z,,XU@5|^ɾP3 %b⃠gۢS^ Ff~'HJ+d]֛F6`pq%~OO #\E;\$A^)F~+PI4EI|qN< ܍k_QVZw6t8:9a]3}|oRZ)to}ⳛG:߇jj7B!\%<8Vݩ 9z,<>ϯ׈٨^.Y|c-.m"6jpRL-3C@t~7|cogj`a"D[q 7d`7XL@itllHyI-tڶ܌PK2:5r Z^1;aOv|hȌdu?|5GM0>s1@gYóydIkOzR͎+2Z*[ꁶ"JZbqM긙ĆBO B IvV}o<p}79vF`DM 3 XFkH;gD]3C J؝0AA' N:+o3CoQ.(PQ` 5:sr7r~sYjs_͡k?P!ĵsԅJeDj;|MT:(`zؤݓWFqUF\A4j'(‚\M=x$pf6!R\DMo.6F,g(R 5v&ca}'Uv$xYZޡs x:Fm|8n*iB#ܔ~@'snyH4H4X_WŲjFYuP\62,l+X:sv;{v.56߽:[