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   e9lT ww Koenigsberg_Friendship:threads=2elapsed=63.580cpu=115.048gc=4.280factor=1.817zXZִF! 0]ŗXf1-/6vRZ뿔ơhWllUMNx}Rw ۑc;`M(9/fd}ŘK ;_7`{%K1jtA;2W}o PUZG)"].zocjpB^f P{VB͊,j"d%-msVM'p-uefXe|^[|ЇDFA/ׂ]ҹh3ds9ia8 #d^lAGzc?~;[9ђ)ȒbEZEk@`d"C཯rgdC:š̞wM!ݲ&Qv#/%}~z PШ,#=ۆJlPDx)`M+Vn>t #+ o@q~zyxuLhְ؞Hbo@DBƭ~Q{1xUbA^lhc0z۔~) 'CV,<(j# a݌ gYZ7zXZִF! 5q$]ŗXi%6 fE``ER~:?WAC@{ƒߝey)%z|/i^ݍVi-{0>*;lG~o_ˆCFŨ!|҉R^y9.uƆ*D>䵋'b1f`P&6C6Pposql[bpCuh1kwCe*!YJp%0tk`&R'rNBז_0~t2@so)mƋz8˶͖[|iql 9 Koenigsberg_Friendshipq:ENoX1wgݔoiۀoK̬;qզY]Lɫ "̌y\ ƅ\chLvn,7#5Ҽsi߾ec[i:$#9EtO:w]ӕ[iMA`~ItҖ^W+vw +]L8^9\Œ58|FLI҄3T}yBxmÕ!F\mRSՇ):<--L.|QI4Yl{x<|SWOh5iVcMfzHNkOxMAeo>53]kXn4]9*h)k'G6/>P'd8M2 ~$0 "А@Dˇo|\C2eIinprwW5) /C dI-VEX{l%hh9`4@<:diӨ$=֚_c$s@PJćhk xqp %dv˴?Z+xO+Cԓ*ZAfZ=V̖e.?9 m"=*(-Q-a>QS9#LgX|o5_eGFo-DWN0Խ293jnuw=˻ 4o4.[^R?Bg\=j@L'v4bξճL2i&> ;+Q~mjU1н; OgBD톞ò5, Z)/z2'2iǝG5.z x}ᑟqBJh2DG: ]5-퉤*M OgOHw%dN~*<ݾ :{ Hdzy.᷿~=(tw>Z*eiSmOh[PΈq*w[Ex|6{2 #mTd]Ing8@H+ǰ^+_X͌&*̷AEܟ!0q@:Hm CY[ƼE8(w{rh@ Tdssw jH uxt~\S q,F+v/t'Ǩ>^0poOn#uȑ]1}vo%61s;l%ۼ@h-my)e@mAlUb#аTpy-7I{?`8=.Yօ"5Ghrtn17ެxfePz3RD5~xF;(3Ņ}}\HBz Ktېun]:ׇi>wzإ6ox< s@-eyOwȸQ@Ǵ_/=X'h䢡\q\c|*Cq&ii zQSkvxUc!{RELJ„Bz|m[WlWDvKs(«F3K0pjG;rS'Joj1oUmƴ]В~%鯭 ,ĮNgg_b ;n3p*mMOtjP';zS3JDrgcCyj9~P&dQ%IJg^52.\:ిlgiɚD & <[_Ѓ״O?IEނk+s)Sd:_~v jW󞐾Xqh4GB|֡fMҖZ<[ pݞ. "d.+;(|Cl~*~pF.Xm]'H#bF.Orݼ4z <1k.Xܕmz.Fts}dkl(8}k4sDʐq IDu !OLE@.&7±ezu*g^U+Z\<!GYDb b+˘&_d\~_]ݏo0d" !4|LI(^{a禶J6?1kI:\~6wSk}\ @8~IS˥1ٰȔZ*  ot2RОd!&4lw-g &lV`yI\#R𰵞oO7h7;A$P s=ЄhZ?w . O,V5۲OC%aZ1`!3ԬSTRoF ̾&;U AL]JYQ-CG>6AGR q9E#0uqܠcqf(GXqmAH.sZ`G/Аͱc+];V-*BLaG`,xp^۝,< ľt4!3е 2BX#*B+&_AL-E"]:mSؕw+ƅT+c1PIپ7 TW~]=|q/Wc ]P|D`M-6c5O@g5g.PZ>!OEk~̲qywâaekHBb;|m$Vpi/?%_۩(j3&-YPֶĽwR8&sϙw-O6:}dn4*#_z0ط6Q9@Lj%ujcAF.*qa.2Jy#@dBN3o"P r:qcgb?pQJ]WD 6g%诽EXg?,6\o,tJ?BIɜ ^}1\.DyA: R5tO]qsPWvo|'6%R,GCqjM. 0y×c*M,ԭgYZ2beb1fa9d7422088a695943444080dd7da16d1a3 589307ac2d9143008f0bfa7bd3d4c39e98baa5b1 93e227a9855587547e75d057aeb77af630802c1a a1a49f639a4edb0f84a40b7f698a7ed2d019e3e2 b6ffb9855d79f40aeb530d8965b7aede7b4e39b4 c746d8f3b023815ca954041999a9ab7822f4ed5c238e7eeb3573fe8b8e9bb4deac28a0f3388ff51b 5945815fc19e2396c5725d8d6cd70bbf961a3d4c e9c1612e4bcc9a8b73f0a6e41bd7530da84b0eef 8604b41f1e451262fcd1286c482b758b73d1c934 c0c6730a48e98d88b0f8d07816b1c9112b5fd1b5 7517f1d9134da7e56ad5554df8333c1e8ccec872