SQLite format 3@ .;  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "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 Cp,d ]/ ZF-Coind:threads=4elapsed=0.568cpu=1.392gc=0.0007zXZִF! ^B]ŗXiɟ7~x$Ö"5 ޶8]EhKEӨJ\je]Jpbۉ2oq. NHW.ULU)HYR-pXCFlxCVd+c0$%4rQ\ڦ2O\zL%X_!Z|ߏPu/`kf)WFhs ˓([n_4WM֥s4¿! 3 yw`C5裙Ga!SlʯsIU0^N/yқw{=f5 *躦zA_%~_Tp_>Ɇbn:ޔ$7{Tݥ*p4oi݃͢;bM$5m]C,f:8Ot;H<$W"NS{(Po8yQxBHw%FWQo}ϳ&z+J$iH讎RC x $4 M;VXW ع 5\?>T~Ň`,2?Bznt~ Ǽ<WR++yo$q]=\>~$_%*xYw;a\ę6X QD EpXx3\5]Z@nHǍ?&mfV DQ<{m^;uZlVIuRŤe.N9vУJ'*`mPj /IM8ָ!"nvq<;eZBE#^s74SC{$]s1/G \^.z3t2K AJVyN5 Ƀ _KjM0Gj-!dXV?E߱2a'ث`9"a빑k>~b5Ma݂#c0c )};CoՆ#GŬ^2s3 )x9+cKj  dA8͡wRWLcTJDWrZ~ Uf oWAZ Coɖ_-t\6;@(5ɸޚdDםlL<~N}8bT yc%+l u8p0\m79Nri$%g*A\?3x2nQ 60dQXk6b9(8U%<-\ 6 > l#^~k@po~ԷZרCq̵35XaΑ_~̇0Pn^ڤ* }G aߩ,x ĝ̖!bJw .Hf2m9 kӧFpYW؄z2m"_3B ^DSE@MtYuGb#ZŘɒARe֕DvgH_;viȠ(gtvzI#8ZW1+N2_պ,5KoGZc%`M3/<5(\^FzV"ku,Na#>e1ʃǾL w_X=/Ξ'v q N.X1V>-PL5.\J0QWYMXs$Nj4m/{tNKU^- l[r[tR- 9;e*#~"P ڙM~^D/[#3/pWW(FHHhx p$@n2Wo钖2^rNO26B2CtI]R 3lziժK+Dj L^CTiu]LaJlm$GnJUL㗦Uo?-;r?PAKڭ^ ctBo|4 :mPЮW!&ޭT' )T-2pX#T6z&<ߗ~2CIO`FDUV總XdݻG[xx9)O;vf3w:üҁgYZ7zXZִF! ]ŗXiɟ94/<&qzKppP8(qx_eK3nobشD"Iz8sh^$h;ȡJ(NTde3.9bG+YP^U+:q5dBo3HlgYZ7zXZִF! bk]ŗXi%L&ó1 ؤ^#ne(9+oNIJ8RE5|{3 ʸt-9rw$cP'OwЃlh& 9ֹ֙g't%bCf2Q^+*)K{JwtεӢ?V0p`?G9ݔGX-b1\kvUptxW@ވע7[wx1ׁ怒; fOA([ز{1PE$ /|cY[awcFE ET=?u {"seɧS~%مͩ1Arn'Hd繤~!K^k&BP9e5MgYZ5a0273f0476e4b9e472c21a2f92da64efe644f3b9aadd396dde0a279b6a4eb62f8f2ff37640b410b 5de21a2456c70621178ce8a9e0a825faecf02866   ZF-Coind