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  p p9| ww Koenigsberg_Friendship:threads=2elapsed=61.749cpu=112.420gc=4.464factor=1.827zXZִF! 1]ŗXf1-/6vRZ뿔ơhWllUMNx}Rw ۑc;`M(9/f݀y4'X+ו+C:,E " =qk8ԣ^76)Ͻ2$0R9JBu#W(\To,6aV@uf [aC,M w S9q!i@[ ̠czOB@ 8\ML-PxkY榼B6mYMwzYov9o3Jy+amey:9 =K2.Nek Z8t{fQ'1G!ێ79(=X}c07/[SyN#X2S(i8Ea!-f%N^< (dᜁWuZ_~Sc60>1xQ+k =iIc1[Ήu29 -d,6./TcZ VV`rT >xQ38ߓޯ*XV.5KNtck7Hσ5=i2R(f6%FJO ,E7R[i>mQg=lcn!=sy Lm@dy!T b@<;CzU; D2Kq/{UR_*'͝a,1斄ŀ-̥i̅yl%Y3sOp亹1'JǺ rID%Ҵ#ޖ a߸`KDǠcTqU]hZHby7Sa_HCN%Ft|X7pfgO`V= `-;-!;:4~S0,q:PsMAvzD(ijAu]IuuvAXSqb|gYZ7zXZִF! .e]ŗXi%}揋5>ȸţ{ ;E_>|js H(3rN*,|PdPȲTǵ5<ߐ7}vy#!_qӤ3W?]y&lV{nfLԦ2 t؂|_7Ψ0$eWWS26}ϵÑ 9 Koenigsberg_Friendship2A@8F 4SG:->1@\<\C1q W~a_$ҵT$F]2#<?GZFZ{Ü"ēχYGkYAW*B*Vo"'Crįja+-Ars{',znAx{*gfӛhW\^%8;-kf[47b2Fqp0Lw 4ʡ\cY*m r` f'!pZ5X[R^:R1X/Ii0YCqr@K6<XP [0b*wG'؂,z(Vxyr|S4hk; y*\aQHt'R}(V Œ!0崾w&ݽ$O_&lZC1 /)?(@h>4N PDP ^z5zBD,[?e3w Dfuʶg? Mء(Q* 0wh٢RG/)8KK-[E[FSw]XЬ=):3cZszcti? MC,χKf4Au!naRƌD-^X )m+y<,stu<#L3] U W݇EgncQB#h%ݳ!sy wh%Y]C{msgrhC '4Յ*n~3x,rƐ WRs3lܷ4mebU8^z, f\o}m|=jɎs ݬgz| q)f(#if bǏYʛe9ہ\K/{oI`ݓpOX R衚~7*k:Z9o8rc`$BmZ4J.ZOrAr)k*˨l?/||hI4mր?Zgm[k|Pv{S5,p|Ŭ҇V|嗢 ;n~εW>[|ď(|*<晇l4s1B*㱩VyA f2-A{qlPlb?@,)jTE<<&.Y$;sz;I|?>c rLJ f@o@Ax8f Ùx`Z$ah&0.QN*'ܞpڂfu xJ ( 9%8Oc8U9 $yTXY%g)qKZp~ǔX8qɞ Y|  H60NiTL*I/`19 "̱+y2 }@zHl$sQ{ȥ9%#>TE|tɗL5&t!mo7?V8D @P mmtI9 j}ov6pJ@L|(knv{=Ca!a-?m\҈kvSz_S;͇"q牏/fD-  13zU)uS,b!O-?_$`>|M՗rx4U9+Nϓ nw39<̽Fnq'"͝;k ՗F#Ǧm) gS4?)t0C5׍Zn[=63C32X!A+f/ϛDfWY[@pA"p\HZD5, CM[v˥Jovd59Q2pHg*x ,_?2ɠұzmr;Qs 1'Tcr @;ּ5! PBסz+Mv= P4li pѰ#1fM( ~5#>$q$_ĩ>Z=@5kˡMzVM\LI='lE>Ow.![UZo`LJH^D >$Kq/ A^ Ic9N3o5$0O|vdJIWLdOĪV cvt]j_h8+ ~mwi^Qu@ϭ~=>>hSHx8 SN\%T p1~lEP2ABOG] ck+6T/G mCԎȋ֙~EJߓFhh򫟖"+.?,8D.~E QwT8z~:9fg4}ka뺻ru</Na7>:I44 /92@u.FR#t%E=LtBqBS7 MB0 Sp^Vg?Lx6_ChogYZ48e08594dd797869933caa2b7d496799f25e61fb 59a246e8f4a2d633069da9a9a62bb18e3f28eaea 8900af9c034e7ff79ce9e32e4d21102171e5c842 93e227a9855587547e75d057aeb77af630802c1a a1a49f639a4edb0f84a40b7f698a7ed2d019e3e2 c746d8f3b023815ca954041999a9ab7822f4ed5c0ba1ca971c8be00bf94431f0078936b10d2759a5 0ce03196a7222f6488e31156b520bc36971a656f 839b44e946d25f579f005d34bf2b01c8c50a8382 38e9905181602a320340a0cad27ea92de6285748 b73a2409b8623ee3a573dd89384e9fdff928c848 c3c7098f4c11325b9ea882a136cc04c6496d1ec3