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   _9|T ]w Koenigsberg_Friendship:threads=2elapsed=62.465cpu=113.776gc=4.496factor=1.827zXZִF! / ]ŗXf1-/6vRZ뿔ơhWllUMNx}Rw ۑc;`M(9/f)"dup, ).fMnOvw_)7ۼ^rM64'Exgu=1 %@]P-A2tX AZ{"qR4y6b.kFVo4L~np8rx|\]/5R/L=K-4];qJ8F?lF96KX#`և%vԘ֊N-QzemAe~2۟Q4Մi =j_I=yL~dVezŬE}#ZwrkJȠ*qd4p0#PƪYrc|%chƀ#S*@Ky``Kѝ !&b 1"\JjT0-XfH=zO#1"FJG_!f$Wg'璁N3:}4OZ;wa B ]VQ6e,Fa44Nh`Gȡ2)`VZWLFj 0$` ߱UlK[]g^EڱgYZ7zXZִF! 0]ŗXi%60mԬXX}'!z 9 Koenigsberg_FriendshipO}=@Fz$˦uL1crVOjğ}q/d94y=$KQbלp"޽}~uZ(Z [4Q(ͩnTWv TdSs~x0c܌U yks}U䐾x0~ITT>h*$xy HZBPr[|ҧj4 p?oA&!Ȯ;LȆ*^՜J 'V^B8dLMUSU V^Pr׼Ò)YGU)*_+k[acm_ep"W}/eRYFm&jVA?0&ɼ)tYS#}D@ Xrd(97=raM&Kҷ _h WH' B93UHt.f CWU|)1,6l,$q^nUHw+A@jB[t3AK z*4d =ŽPRb2:d(HImsS9N_\6Aբ靑բm6zy -ޅta;WZ9zcKB]`٣._JjEEܨm D[IcH o а4ӍHdЖ\<ClA$B%` ,2Bg`;3 4;"%]>hGQZ3,Ua ˔N'}\o),;k(Yvm9%~ b^b4{jҊK9".?U-=}QM?T5awMX*z7q\€,cIuPGx;cB%"^w343"ymcguyl / ,h-c.௹E5Tx.HNͽfok^d{DQ{_ ?^Om|f^)"To f&W"8, I53b5`)M,+E% %C1 <_֟ƪ6I'Stx+B 8O*׷չU>7D/Vwa$N`},=mIA@$70>{6i_5b!a Ć{PݐO?MF}8' \ m"4~9TD̫z8`U̫yA. Ty0tF!^,i|󭚢SfWĊ Md^Wzg~~8 %MS8_Eaj  JQZΏzgKj|+d*ҟ%ȧ;my #VTկ5?xd'N3,k4a#Dr?~R(q)C@1#obgmK v;x۝zQ\O7k)7ȭ3餇ardeɆtC"Ӭ Ze,` ڙm@+ mLD'ˢϓLFFϹJ)4b.`ٕ0iOJu`GݷILZubreJt o4PSr\)(e |<X=sV4(LPif9b:ޚm2[s(C RT[Z .]?/*FdO9 7!)y?IQ%JJGh5N_lUSL̀%3 h#jrD(?h5JB3jP)C ʸx//LmJYFxʷWZvC[{.KTk3D