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  *1 $ ]/ Roy_Floyd_Warshall:threads=2elapsed=0.527cpu=0.928gc=0.000factor=1.767zXZִF! L]ŗXf1-/6vR[OqN>>3 w cWb>Iu3D )Fl}ӔXMrBXc&A>Jw=G 6zュ,۰+.|odX7gYZ7zXZִF! YH]ŗXiɟ{߮""N9 SǙ8W!!ɦu{2}\y5{+ Ǚ"dZb}YZ7zXZִF! ]ŗXi%;˳ѵVP^oK5mDYX<w2dZ !''NB@Cr`/Z5zw[AtȘk~[!Az/ u&sܣԳEžg%ҳHx!8%_qL[nP_4Qbv:3ZBKMLY3phɍ(UQ4lx7 l,8Y5&*ChC&٤fä y?Dޞxz\Cn_*8=:P9 '8QaݤS) {  PYU(ۂÚqi)$ĝ"HgySW%vZkDRe,=7^9 I1,m[^&BO ?($FyۘRTVt>d` 72RߞM8WY h =#D"s[^X?H5rM{ǧk~Ef=Baz}3<)-Svax)gϕOy*`T{T8P6g RwU'YVT IȴNˤn;9{I`2 ^9( 5=`Eh>/.l ]Zԅ#z`׮ ~c)QzUoqw,R.m{w0~EE[AZNHb 2Iה"N}eS2挜]Hg SM &%]3(\ +ֻc(O??@uy&DI XV?ɔ. k =T!}U#:xf"/1s+)/޾Zw/lx*4o;? ?]DGf'9hFT^GeYE3\^,]dGũ,Smmrv\e{A.50?S ]zVߛXZ슷D.P99*L A"X[vmdVOL.G<&qOq׺D \haNƪyg9^uB@ ioWƐ<:*έ3럛Gk˂/Aɻ%eTXʚ OmP R9!_*,lyӸ>60]n.YY1#c3ËwQdq(+k55U# eqLEy>| \2DGmӂh?B4Ed)?O + ]5W.Gyqؒ >j\| YA&VRؗ^͞NQW8;?a߻ ?l64$GOTEbyFw]*%mC.FWtoE.^ 4q9]:JzTEph]3k05fq& WIHFAt4=p >pr^!wKmڊXb~C#mCڲl`yA9 IXPvM5⌲ъ.iWR_C`P{Ppj0p@<^#S]E]SyaI!Ο~Y+=!'##r,YKa))8:T:#A0s7NH;3 x4p'\^xf <7])^C}:n5؃8X+ N(7!F y6Cdԫ޶ɺqv ]!aGNo̊ ZzҀPG^Dx┏xn|jڻ,^3)/(-d?5)K`f9äjhOƍ]ZPWY^MJ[,|!l};g@]ECɭVjhΈb})RKF" [,9w,aj U(^JqC2midfdAkZr\H+H jUg .zijXSmd|]&҆QpcRWpENuːH m>䶋"U4|{>Hᵹ8zDW;'gRMݚb%6/a8b-2B0=B9xuDXBm&Mwܹ*q <2[soadZR1L4#{QP~#fc\0 BU-dnf at ,29@hXLG Ɵ$wzcs͟PԸG (0fMZ[< E[PZސmN89Ϊ] #s9;iT>zohRe|AF7H50/l|nqk9n7V_4Q(,R ˔B/ޕ(`ځ+}|c߸aM4f*д@Y{׿Gn6q:w(]e7B%)W79W[E"E2+5xS|pD bH…NeŽ)7GC@-[#ݞ\= rƝrGHvv`͐=-)Z@I(9o//@o4A VN~p_v率+ko璖@hY3mhn/~ hn#f߿Jѱ#>? 2F4RiXihpr8C?`85Ve`ƶZhYT}c=Yjc,g Q\ǏBL|g`kֲ?9\QC#z?gYZ