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  Y! l\ ] Splay_Tree:threads=2elapsed=75.018cpu=93.096gc=1.404factor=1.247zXZִF! 6]ŗXf1-q恈%kV^M[-U xNo[q;O^.%#6W6{_;ۿF`)AiT=VƇ0$>Gq :ʝlOb8 H' ~pu-JL(k"Ω9 hCGMEbU]zL( RB4r.>leaVS񂰷v>=7 J=i|{ʁ*G/>k۷Kم7+}%`7fn;?w&;6LM|Yza9dg;Z^AzKUZ*LlxwWniҰJK,h6` (nБ2΀ai-Tr.ZgYZ7zXZִF! (]ŗXiɟ1]" Mԭ02NaD^/*7ѓ떻0oԅ9v/?w$s/Qw*hÓ==> tjsimrfk;J9d}C^UZ(@sܥ;dF[ܛk$l6`U{ztX{ Ch) C? 5Nљ>K-JDFE'/Ȱ#LLI gYZ7zXZִF! ib ]ŗXi%9#oqquQg'!r߿k^~wiEH{M6(<rwыxy(c ˴-!0Ʃ-rF%p[Jx [b fC[R:<ݮT/P <܄?.<۪eǂ)EDPURsYvzn7 ^f&{]ʯVi֦.Ń<oY5U1E6u@;#?O?ә/~d>(P -Lhs 9NLAȣEQ ̅r~IY>c*Fl'e䗗 m U6>꾚Xx쐋I e|(u >f ScB?}5//~a%rj5\@uLyz"lWGp%l񝮳q>Eyg:@~.|tb1A#}EZ5<TQHl/ hTi fZ EG yS<^TD=R_t,- i_-IHyR9ݠ{-TowHMTJ34SNă:q7Nuxi q3$#[ꏦrmCuQ_Յ?t73gz"X22>(NnyGiH?E,r᪖[3䵮ϢƇ3Ɔګ,⺖t/B"]hHeC=d[ \K33Lg+Ϋ/(ZNI;in :::9av(cH;+F(1VK6IJ.8J׻;4< $ǔ#rbd{t@6@txA({!CasRSehu8$tODc ۿUoTX5Vai`;^ U#*6s>8tr1 8j]Psy`H5;1Jrˍt[8&ׯٷcg!qhtCW=JbLj"zJsZϘ{ zvf=b.e*좫k\_sǵ 8rE=goWP렬9d&yQoU,ȖW.?)D88bW4ƆT3e"B3?'Q<šY3HXPc :` ^cƵV!̝z8!1Zs4 [}f{T93QFխ >p%XA]p c:Cp؎ mOv1Fi6f ̤LD⊍@Eͮ~/=I&xmFL\U&,݇Tsgm{ga&&=`P+Tp &QW~)ҒebucNEiȤ} mP"wOk0s$d7L&MHM8$HE|̴lF=Sm^lo{s%g ] =%dfM5ᩌ7Eh<`T05W0(Vu6fv+5پ9H>ZA/}o)σryX5fFkQפ(^ZsJCdaĈk;?qW,MkQ$fqEfu[1Vљ(i '3=iBsI.W]oI--K b^^{ydjONE!e-%(Ζ+ m,g4S۩7T5jslF@U]T[\zRZ G8{FL<ɾ[5 ),/_dي%m.o^@ S 5wphr\˝r_ :V**[40cAUxFO Y+LT*Lc(ZQ%)C|)?@=]f.JQMniT`$Rcwҍ{: nXT%