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  O9Dl ]w Koenigsberg_Friendship:threads=2elapsed=63.372cpu=114.456gc=4.372factor=1.817zXZִF! 3]ŗXf1-/6vRZ뿔ơhWllUMNx}Rw ۑc;`M(9/f9'j9;sC4[[Nq9ߴAAT_?]v`!X);Ӹ.(7N[Eឍ +߁,Yu%7bCw' d=ŏk *\'/A<ݓ} Lԋń%4aqTDY EZe7( hU()Ik.je~OH-v3جRGgSJߚj)$F| +oi&A/{o%"(/[\k6䠙@fYPoK-FUY\4x@I"*3Mno"Kj0w>D$v5@$j\i Do2K+/-2(c}mGxR(!7.FdR z H+3&MdOz^bcڳ +L-Ss %l‹fhe]yUə((ՓKlnjW#'G۞PsC@K!٫ԐjcK9|'[w ՠT3h*[., ra!!#mt )_!3PpEj7\Vԧ6@ϻz3.>+`/r5}:Nuo^3bI.J#I9o$1s쭟\?3 7x q{J=Mp>EB:sT=b LlG a](ٕ]}8?x!LSóז/LСd W"|.C?pL>UdjIcvUd4d!z9AiýlQ(쯙fF Jv)̫Ҧ7&}95H0Jɍo~3$EjLF6CЇ@ :ggYZ7zXZִF! 5~.]ŗXi%6Ar5$刐+l,XcLxйd+(ge<$NJL!rƌK/: G!g2vm 9 Koenigsberg_FriendshipFAevgk*:gU|6F>\9]=}?1g`pU !SޅeAd3HJq_fdIzG_D/Ho$Ye8mMc&Th̼ߒ Y\?%Bbm"T7(hˈ3{EjxΪ;_“"ח.~C&iF wG'>`3K2'jE [͛ijO Ou^3Rӎ &Y3;pBlݾ#oAZiJl炜 Hˑ4_7>)ϠVK62x>W^U4& q,s"m|r1f?C1Xlq OhYϦe!5(4|_ !1‚azD?ski<86u u#wNtx6Qg{D3rζQ׌Ƿ {"w&fH\PdȺ Q' )X$sr:B?KGJ-dEyCHDY{WwI1- =4q5 7vQSQ.+"B~~vPnkZ^C|i$.Lũ"@c/K&3x >/< 8'/+x,o"8e|[ESQQ7߷$2UCF L\޳&B|;PH0Z1Yuoڲm1Ad@a>:[srIv5T79m9M}~7𿌘9q"߰"dgy2Hd^kB#*\pCu=YhxW>ͩMUV-uxMv͍n1@s^rY"uvпo7˝LAQa?%pm> mȉP ]!v+JaȆpeAhZ J#*kh.B:~mW?ˏ4;5IԂ3>Q"rm{T6EnCV]ֹe2 b5*ښ1GəXgڢ1# 7⷏" 1}<uIVױ.Ce~10 HrFF+J7r?2RpIZ_;MaLr(>X0? ݒ-ťH8z:"HCUO>Ɏ6j*AWΖ&>:G{J(A>@fF8$ C.X5f`g>YF>5y0o{0Zd0+0\Qj˺wh]wdڡϾThRW٨ )lk¿(I!*Ag.Xvup ,C#Z#fg l3J%P?_XїM뱙r>E۳6|ޕb¦Ln=uե&fm5/T]=.˼;>M05RުR#ANObКoK|XƱFJ|kHEu,e!:eRb$}4$3$zs^S[b1Ks`Üs-Ve(e~]op$ >PxcxZj#g}c^ ۸p6Ey3ZO $&^hןÞ,y!Uhm1! R!%Z3qR+O #Qn0U bȀlmoIaT3<ƥuԂM pO-ႄ䔌_]:fnl"=P'%g}~ ɆKNQO0< j`d%Wu .y?F"lLm\9lxӿO֊LQ^ʧ[aA=xkZI}RfLrї4PcvqJTCHV>ؔa( Miӵ+ >#e/ s9p[IC5(,8F?PoN ?lZxO 8{ ;<-c!vFt%i.t's_:_ KOWkX~D^:̺cC/1*: #^fpR{nxEECzw@>XvE|/mY\kFEJXtd?W1̬XB1jWriʿQ7GE|xbUjY'ɓvw.qG 'Sz" P?˙ Z@ukeAeLT:<nE"~MA 1YzP 'ZHy^wY;(IH;:HĀA [KXɰdvۂ^<K+cc ]5 sT +;? l(%h@n%VfvȐy$ĤqXr!bEMnѻ!Nm rKKo Pa=eVT B>G|mvwI5֔KF\n-(T2`ܴ9Xzȷ34JaKEG$(ΈCwlFBybԹ;"t}4Dv#^_p:91ҡlqBcp< ) GC/\k`oNݮoV겱gYZd3ccba2cd5d18925fcb1984f586c6a7602ab049be003033e0a1df248159cfae37f3521344e99dff4 bd9d5b59f62cee787b745a18e37ce78675bf828e 51bca5798766ae8b6082d8e3253d02652fec4031 a719a564881bc4392379bb5b59a6eabc6cfcf740 0015d5cf47efe9bea1af1cff8dcd1a46b779a178 53b4cb75fee3aab5f595e7b85ab61641516cd201