SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_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\ ]% Koenigsberg_Friendship:threads=2elapsed=58.790cpu=109.252gc=5.192factor=1.867zXZִF! .]ŗXf1-/6vRZމUaHz..pA2`-*5",Z l{闸 ;-XS ЃE S | hxKVd:;;ksWȪ6tZUX3Ԃ^*ijcE#; % <| 2CL4y5â?Z/6 MO924XʓM HFibp㘍 ^r0@X)wn 0V¶ `qTWғ%ɺ#LAyȌ6n.kçBfr!ۻ/c;-|PGgk'K%J̥ ?2lCT[ .Yӱ{i+ʼ(BFbH|8 iUT7YNTiNْUjm)ẽ`qb8R/л|7Ba+$/|ώ fJG}ǴDi{ge1lՏJAki4Ҹ~ȯn|L*mVQ{tƖv@k0jj 9 Koenigsberg_Friendship  D3uZ8(WꟅxB@hC8Vi.rƧAzb%phyHq+&3" BW3gtVJϮ̱vHۡ(z a{0x8 Xp 92Vhb,#Mg!'IlVm(|.0%AX5xF;*ld 6wݱom|* EHt}ܫNJ$Q552V`Π8lh=9zB ϫno"N1b0 ʌc#ғƏn3N1@64)O&)YMRlXE*зAXwX mcpjK!&g!YN0|k:0alZfb9 bфBQNsEYo);z O*k&b=D,˼4}S?]eHiϒ3UH%T"~plQ%̏k}/_x_)AkVSbaLx,o%49E V:(HQm "ۜٲ;)gy /GtYf{ܩhũem, ZKu^7Q[76t /SFU]s/VB1z8+^F Yi⵪{EEؐϼ0iT֑<.^vY8oRad`c*bBĄbcAn;k]E=姹~g`b+L+ T~MVdbaG`F&w٫,,cs*.vn/_@ ;5P5Zw Y[X^f*p4s .ˬ֗}'M0m^,.녁GÊ#˚**J*T u,SvTZ{Nzw D_?zg5["54# CI[m+,؈z .QĹ^6S>hAҙfuH}hgosǬ!΄$ţ%l;F4ZR|t&v+_Mi~xѢL߅`]}hӈH@;[B /va(q`+aߔs C PfSbʵNJ/27e若Gq}w*˥)+[>NC iBdL  ҆DXrtΛ?*cجbz۝%$i'/;Gl5( "C/``xP?&2 _Nx(VAT;6h6Jބ@KpXEqmr-݉D\ HU -EpeC)Y b| gFϧkRՔ*l٩h攜]ҚLx |.t{kLΝTRU̗z(5zP0o+@~t{|vxLiS1b;\[en//:ۢGC.}uug4 HEOwәqPAl )8t^PǑ 1EXAw_)4E(C돻.wZzUe%DMOs o$)-Q[~j-"U:q2S%}MRV 8rlDbx;ݾ^9/*[Q+xy:AO\n'1wRo9Pt9VO,NQZAs(0"5 t ,ViP Ոu$ : D=M9Ǩ܁}09Tmy{i1E6Ï9bBdz>v>JU*uGjoKSP~-X :OwԙQ˳.K{Q$-\،f̷ƜͰI| QK7fk1Xr#4n3YZߵ<.k5Eޟ#JJ{Q -󮇀S.$ Vt|M NIYVԤjrr|;r;R΅̻ɜ=5YE$8ݮAU֠cWztΞpG &ŬL g;2؛I2g,ݯZZ9キ=.3 d+D+TH>(?md:ӎoWb}OG],x%84@#Iˑ%η,ǀ+?[1a;A#u3OHnc3C FUJ#q[vlbZwzr+U ߦw'+Xȡ!},H]3Z9 GG #fb15@SBks[bZ+7"lmϳ{RpʯQy\qDӖmz,O82Q"qOs)tU;, bL)~۰</Ocg4T+85 [ިQ뭊1Z>^I  ZHۅQ$ Nm6( }fj3',*S