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  t t94D ww Koenigsberg_Friendship:threads=2elapsed=64.119cpu=111.616gc=3.828factor=1.747zXZִF! 4S]ŗXf1-/6vRZ뿔ơhWllUMNx}Rw ۑc;`M(9/fdӨI,IdH5, (n,cy| 6ǀvvE%kYх2u?#;͚(.TIQږ𮵶J#;7Y4|VuMy ԢHY˲)\K߷7ړ)'sOqh!`: 2oЄ0wq|n&n!Ɨ~ejJ;#ur]>UsKA3)uKq"h GqRƕtcܻyP9pۏp΂#T!L=;?R:΋h9e A s}`S=[ b-@e AZؗǙ58g% a TĒ;,|kj.` YY;htzU+Cm;qNy햽 ?M-aux`2𛡝w]V9XV>>ݼfjc}{1^[-wF=vdq{VFv])ٌ&t,+jۇ_JWƈ\_6kV[v~H9]2JXq2 b>= @Cc]U:W2[l˶ D/9oj{Q>g޲&xOwgyr ԼȊl/ӷ$Y/HJ8WP0_@Dtۗ`-7 b@$ttHK#IYBI۠z}ߞuL#܆:#~tbt=`2&N YOdOp5v7[k|WfMz"e"ZYDUƒov5wbP4=GŪr8f1C޿rl&HE:ԉa/w)r`fTSgC[iNgYZ7zXZִF! 7Y]ŗXi%IlhE{bHx/Ystsk߁9T^EW`[ЈV F-R!i.RM5[Gȹ"]݋]6E}Sż0fiH~kp ns8fl$s,|R6fehNk=3O)2@H d$qe 3A8-bG3QA=pn|uj[eV43@N.كq7G AI+󪿤tQ,O(:fVX5MԷAu=p{~{m$s 9 Koenigsberg_Friendship})a i2Ѯ KoY ښϹX^-CCEEzFv'1;rLI `qNBD&-x@q55:͕x~OH9-j@x/Pނu9LPw0z[d7N=9a.!#[` AdG: c7Q׸F-> uHEsg37dh)$p"`Cn12lioڛ qЍ+QBӢԂOc 2&xF Y}s3e@ܯ6CCAh㙤j_bB/>Ӂ-Gg; ,|?1-(9a8Flc#,<~\S;݉1m\P!=NBБi;6 eD+ %7>Q~z ;]c@Wʫ CY"UWOy"ouT7[~4ٿY-Jdnƅ QFG]r'pnW~ =`"K<)׷""m  L!7W[uL0urn7EDXB j@ۏ_!*챦Ӌ)X=N++AԴ| ?iJ1\Fŝ5YpbU1iqm2ZHA* <4vix{`$ENxw{n(Ҿڅ ZM!^ã=1 |CHb},X &˘sSńv@s6mS,M)u:p{fFC˝ߨ Y&^ ^z=]Ck~Zhv^B>5Ge蘥.֍n<0Gwb Rh'' Qf"8/@ï/tBϷcUxݩ-QCZ>mZ{3XZ"ڳ J"3{/ hK%$dA!X֖P]%>8+puc*G$vױ?eMq#}/NzrX>Qa4Gtg!16@0nK]6ښ/J*8a)d>%gE1Vc81۳,V-J1*6ۍ6D=d$$05!{"M)-w}8yrusIpx 0=2Y G6?;y@r("91vs_@ݥ-ʌsAְi4YاB_7jȓjX6G.c &n5W/1sSCzA3p8V|E3^벊&F# OGpbCzӾ(gvcB3[9{X&u Mܒu{S#?I r9{K)ŲUӏ~*qs߂Yj='P&T0j!:6Cbm-c_Bo1~[ѐ%-zR Bwck| l*CP& /؄;d5Uy:fe qz̨ 9hWP7:hz)i$Z>x F@Ѯ.AF r#< /)Yzwg>$[+֝#P@jwyKAY'M(9c{iKz>;:q"  'ս#I|XoSbp  [B[zn_D;V'{IyCۑ:48W4p!lo=  NQd>lf&×z l# bz5a/Yl-wTF&#DVц3Lޕù3dTh1٣O5P 7lb DqgxC:Q] DOsƖ|2ܗUfXP]3\H ?SG~O9y1o <>첨'Hl)?cuf+ibs Y#~U 6h7UC#9 _x5Q q7FɮAP 9k7͑dĈWQ783[{Rh}6FMIڹj2a,35U -|+"%s5VC"1& j8rS " (_rHѯpcv$D\@&n L`y{ѳY0ڹ'pƒc≆|3OH0ejRNWbdbsgu,ƭg"$U$1SĨC˫&Z1i5gj[ǰ*( c͆n!!8RZ}䎀WkMr^ 0<7 a8DYI縵(}Dݛ |8ҵg! p\&@}=>0upZ 0 ,ғԟ3w)(A ,[^.gYZ48e08594dd797869933caa2b7d496799f25e61fb 59a246e8f4a2d633069da9a9a62bb18e3f28eaea 8900af9c034e7ff79ce9e32e4d21102171e5c842 93e227a9855587547e75d057aeb77af630802c1a a1a49f639a4edb0f84a40b7f698a7ed2d019e3e2 c746d8f3b023815ca954041999a9ab7822f4ed5c735820fbde580c794b275d3f360e30a6d8376dcb f7c5cec25e7da1e133019a5ddbca98ad9c7924aa 182507163e45bbf725735e35871a5ba3be6c75e3 c792037e3d0f7486f079b5d2eeeeb761cbe56f95 b840bd34dcb73ca75b618297ad581663094876d8 e6154f7a7d9d7cb4b5b98bdae3cbf3c1590d633e