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  X9\d\ ]% Koenigsberg_Friendship:threads=2elapsed=58.975cpu=108.164gc=4.964factor=1.837zXZִF! 1&]ŗXf1-/6vRZމUaHz..pA2`-*5",Z l{闸 ;-XSBЫ$z.OJn ߵ4Vƍ ͭ%}}!1Q `\3q߂ c!k68x6BEp'8٥NY{.r7]@6~ch>XzY>5.l Ve4{{VhCQ mjBݘ~htܓ˷ص&y.Fnpiy]"fU} B.ŧ3jO30T #ui@#l9 M9,dwz ;]q -[[0 TFyzֻ} Gkԙ!0㠢a #$%$[XtߓX>m3i5(hnmf% {,Go~a&õ8'ix6Ɏt/fW%8F } @֟ h9i7AjݨX} PcdЙA~n<̧\Ɯ) @j# qyehϱ|y }ϚPhN ,_~址'lLQ7REM*K`z÷ p߾˕ܐXAJ[<`x"t6 ']i^e jo7'e]ʀ[`/E!`>[#[FgRjQ#h32a9&o $d=W X(1<> c,ERo!#K2kҿVlnDIX\CcgYZ7zXZִF! ^]ŗXiɟC3zto?;Qŷȼq,S6NbhS-Pա@frvaCWN-=C'L<%;"0Y*nzd)n'ι,q6) Z8))=.@dre&;N߃uz : X+±gYZ7zXZִF! *(e]ŗXi%;31&nqX\8  5,#|8]gzB~qN7ףIt7膔8&˷{knnzY5Xh:ņ/; R˿] 6D 9 Koenigsberg_Friendship  6C? Nz_{V)Y ^.Y[6K n86&-8.u0αTd r1R!5N﷢ ,*{&tйRrr6e6h3ێYE9xOwi Uy{~̌$V$ @*h>KptteY2kTԁy\FPrG1eݩݳq*ŻAh/g QՕ휚p0C"BPl[V2E#v pie&z kga`1 ')OJ+KXM5c Td,8 m~oզpnԡgYb鎘T egl2OԷ5/PA%lۇXh~L2U-2mכKѸ YbRkAs/$*nF#u*p2N%f,*wMg^k0c2M@ (~$zAH1vS9'OeNuk?"}4.F3Nˇ4~'@@΅jUfTb"hw&`t*?t o&xp/Eԭ{P@h#"S`@l櫧@ĵFUm>VnW>u1GjpK, l63sB4!iTk}׼2ˮjJnksʛ?u-9v>^r6ĒKUI(aŽ ]",.Gy6kf*샓Pou=i0,zB;%=5,9$%4:|,FW#*Uі`SbBYw=[ lS*|Aiĵ<> =$~l5ӡ!̶XDbz?\:߷\C+޳:Pޱ=V#~1_E(񻕳f7FZ,'pAQ -)/˴w?]kRd7Uqz<(Pthε Z2R}4`S{CZZѠ[N#cz~%^Jjfׯ+/mGN7P-RK\<|m(/_L-ChCz<_41*GX+0U7nbS<C:m 3?oEgߣ>~3m =6x2#aVtZS մMRr~:-$L|Uufȧ SgYgFSst,) 5 8LqQrR! #5xO8KTijH.]b/j MU8u=aGЎ|riM\ܬh$z% }kq,WZXjzȿKO~ :w (q?b4_tX'@g^2<3{nHҭ<jaP~PkR~#xgd$9 M,$iqI>g/YA=-r,7jzv=ޙ 6BiSn_>VpT1ȿZIWgk90םyy(ٞMMC@^`n>V7wWO/E` Va&u: 7GmJ DZk b,,PcVBӨ`*gYZ2277f90d7f6930b0e8222654abf14e6595e1b508665af98eb5b604629a3a80f1bd6c88145ac43a21 5144ebd7f8a7159ba53f7601bdcfe133b83a40ee 86aea4174b1d0393ca3ab4a58bbf0589befc3a01 c255daca4cd67e985074c64b73359417396792c8 86e83823cc6537bc7e147d2d482f370cd7d4977c