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  L L)94 ww Koenigsberg_Friendship:threads=2elapsed=61.604cpu=110.824gc=4.004factor=1.807zXZִF! 0L]ŗXf1-/6vRZ뿔ơhWllUMNx}Rw ۑc;`M(9/f9sshEq2pq8(-@2jhP]}9gqA`y S(mow^5o_[.Qol#Kպv$cm>̏,zŏ`#eFZ#Ky Zsc䉉j(YtQtz3rvti`rxefbiGvq\k4C$I_7+aMb+K=,ߨ^ q8}ZhcIJDD6J7IԸ9ʙ$ЖÐO9!󣕽T@;;e͒E>R# Xdwg5I_^Z|T[%(|dx EO xHh9LYmFbk)$$Y`P\>HI9_ߙXzLFДƶ:xbѽ(uT3ؿ2c dUi[CT81`C }pd h[>F.-KfI o#l7!S Ln{5#GJ5B/8+'IXjFɦlBfI316y9rɶ-e"9 )(/d sTtXVޓJ?Gz: @ 0AQ97\32(jgv nѓx+k!΋B0e=s%dVq/}:91 䰓\Ԑ[tE~O9u]Uy0N$: H0R wT%3jk]8#c?F@F W=`zg-gYZ7zXZִF! ,]ŗXi%6{AMg!, ֚gCl '*crԸc_RDոz㠲aBD-r]@~&ދ؁hBv8b?[2$uc4}bǝ[D3v/QtvEp T&\)}g,Xj+"B~Vvcax[{Q4\\v~ 9 Koenigsberg_Friendshipϒo4r:S%u UM$ѳ~PPp?"uQdsqeV{g-RuȺ pL򶏷 !I,FD0}WL.hN-}\rhDu_˄?/ͥRF>{a>2It%.d[:tYu 9t*RBu6XqyzF2Np|>񒅽t;ȎGcRnt6eO}(U뱍GZ4h QC8Hgd!O} …-rf?ZwLɕ{?+NuN9^ب:p%Z(ԏ4Mkؕ2$ +eaƟ-9}zҚj5aW6tVΙ^u/ca ZDS( =oa|0y $'yR W|~<%m>?_RpXSk֊9&',?_/? aiR% arC9[O|浘F>{+k{LDG XBt3 QR+>qWhRƆjt jN_)Q+ )Iũtw</I>;^H.O8.^#aTVRӫFl;x.zqLYUqb8/: ˿]JCxȋCExb* ˣx1^`n]6 ;/zGpTe$VFBOz *sוv>'n>"[`/glV gxGzvl/L LN`> #^=Rxwp<Җyd XD,׭9?6 >VQyƳ^!E[9>&2j ;J>#/+ ;S\M yUL⸑v)CGmy0%vjpVD &ǫBl-L{ z[;bsÆ֟0602ZԿ՞c_İX͐!SGcQ(*`XK!9~wz&KpKX&B9R{Pט`VrXT8 D+,%GdĬ l[1|DQɕIcm7ֲPͩWIݭr7|mW%d\wּ<乓Ѩ5g{㯪T. ѣ.> *;E)5/i{0Zighwlοo1ߦ㬀]zޔ0p2`՝Ѧ ᡬpNTՄYwhƓ vu v-籙RE{^ z>sg#sw+ܭA6 jy] LWEA#|]f֛K,,2E2$._M]_YLNY-1R)*85jas(_awh}3IvEp5&V#2[s++$xCBy~hm!& ),O61vZ䥵43-"M\9:ä$o۟>?]n)4`:q.tXX׻y&g/ "_.Wv٠êFT]Bn}ng||"1 ƩU⥚A֗웻k0eWmT7g+Ͳ׏׀+IWHg:%΁,p涰o§Yh錹jȋoDgMD$ uԮ@B)V;- ]!VbFdBsty`-တ+~і5wͫkQA]?E*cʁ~V|._rK$ߴT(sN>j !ҬD|?NJe?RJ۩*YWO!AM*ʑJbƎVKB#wKܜ3] uOH 1)9 {\l#Ԙ` 3)q_0h4HƯzq{J'I?'3pt#)\M?jп/Bu5d " crXP=*53jo2hIŅT*n,hS[^H2ln1CΡB(뽂){80C y)49mxPW`^coجkUCpj0woKOǽSe}R'F5k*.U5;A+/ 57T4Ă_WNȪ]z[7`%`[J[*=k/)%o ^D<$}!Nԃ'EyF6;[/y Ztu.`  bhmGkz e) HW