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   `9L\ ]% Koenigsberg_Friendship:threads=2elapsed=60.358cpu=109.108gc=5.380factor=1.817zXZִF! .]ŗXf1-/6vRZމUaHz..pA2`-*5",Z l{闸 ;-XS Dc I+=8`WVr? n7 6FE\`<[_ukynETZ^ǣ&HVC  @, bfIqPwWTF32 4髙scAYEJsxy,b1$G&.!ېLMvA۷i|VenS~Gdz\F1\p 3n8%5ԷSh5/Q:1ý/h`!yK)gs|躲SVCi~H3wp Kf_{Gu{ybV,4GEKT\ԓő۲%/WL=ےEL'0[OރLx:)Kdm̢}L8PM) D<#FBG,NG=>̗m$Dp$u|dռE6Y1PBzBM/JK,¡M)(aՑDMAdMQz~dC(5-cŅ=jg]hR߭Q )1s F\ʲ,v' 4G׹۽e`g9`䤡Vm]mIͽgYZ7zXZִF! ^]ŗXiɟC3zto?;Qŷȼq,S6NbhR.D`jGH<0]K*ʈ9Ix;,>kP^5A6,$ME-ZCƼ5HC|Ohl^?*C{?|)~Q ڰx`yM2YgYZ7zXZִF! 'V]ŗXi%;i̾ 9 Koenigsberg_Friendship!`W' zk;TL{M@`\/v48[TQ{s.v% )aqYEv |$.NmҩsM0a32BbN7X_nE.Ф diej_,;{0Sm^ N+F#(q[wI +F˹m'ƥVS EnD<.`RU$z O Xwز;dABp? %pȟL"&<1HleD"tMNcq#&5Лnkiǐ .L IX,r@L@TӘf,\8KX@ 'J 2*3sh"5( d|Yː\-1\ZᾘL4/xᣁ2y_M~ek#f%/J<{'" Dw&:vd3NM (5I:`!!e!.cz;JQ'⣅G~#{bw!5 I4xfP՝& DUK] vn=xx#vҚ} N򜰶4ѩl]cL%MZjvɺxlnu%~,Zz⦫ơ më="(cKwNOS>{SI86-u%p4f4!Q:,qENe p95[2u>]N}FoC2.x"&# ;s[Ș)lhYxyC4 "q;;E659ރj uXád~3Xu~&(wQ\5?k˩mOL%D>#'*X{oJt/8Z'﷒VJUi4(Pouhdፄһ\g-=0pօtGCKB㇕b. |i7yW/;M[)E+6ۜv>4OJۢUAΉYm1Kr^:qplW=&w=h)mمmuਡ_ /ƫsi > P}wf3z6IZΥD gG|VV@IX ;Zԉ÷IŭnW-/"ҨuxNYL*l W&RHP::#'g7o 봴L  #`S#b7~ߠDxbZa 8L xpm8\qlgzO6bK_6ciz`V;k@^do&^Ȩr7M3"e[ZW2t`a-:V?3mAgfFG5#J5vzC=tbbJw-~oM&"d (,ߋ3 7N/%LTd$@дL)OVw@w!hE"#8/k՛' C$8𡤆c޷KN_,KU/k^HExaI]&尾~'K_JĝtXҗ 0+B sT\Ns+#^jyԿF|)U8MV*lt(aaΙ{%.Na>q<&ɀ p׊L`c룪:wQb*ׅ}8q [ثڈH&A~a-rA/Qɋg5Yq}6|G 46g8"A%aTm DYвNB9(DCr^&JjжR[`QgY}4R]1ա26K֣e4Ή Fr`Rn(},uE(Kw *^(iwb̲i{h6EP&h0AU柼dXUzǪ H$'C6Nr;yߔKl5IR}vТ hDoRe,:sU ӡ͒uwZ (Pp l2D0HĄ>6A"J#ϓݲL- `M9c։:Qx~E7p$}Z}$7$6Y.i+mbXdf&݄_J/rw /y |vdK~?*OUwJ^ 7r_QiuFp}=p<͂eaA60XogDehYD3TKw$pJw78ȁ+M@ބYۙ0ԑ|S@-Iythxz~N[j !#k9d0#^N^zK>pD}\ER aι2wi3Loa#w{y~`4.k02^HDQǝdM?ܮ!s#N&hTCے9H;<Zm s2e&w#-99N]cUEls)4 n`d\&C{[a6Ҙ/7x`p⻝`ڧ"C]d7Bd,<2Ua`x=g6ERMZ;<0bli28:f=-UFzH4x@r|0"Z88`n\q؟Z厜="8&IB(3u|\,m1peÜ?E!1ylX6_Wϖ~;O?%df,~ngYZ28a5c3f5233fb4ec9f9baa59a3d03335d43b5b15273a065aaa7221aeab8448251fac00a4433003aa e99e0684410df36373f4f2b5c5ea423968ee9625 c476bdebca2f60c33824d5374c70fabe6f4ba221 50a806e8d89fb16262a8cafc0254e03764090dd5 90b9bf6db4d4bbf91117aa727a5d18ce2343a5ef