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 :# T< ] Rewriting_Z:threads=2elapsed=31.070cpu=52.960gc=2.508factor=1.707zXZִF! a]ŗXf1-q恈NucvAݪ4 c?[ݍ#pdTMR^WϳS۟Fclb9QW7Sc.8q,0(ӑ:H!Z"6K 8}q%I4쌮<[,r_Xl\ຄ+H" ͵pyti3t=A{eX{ڳ~=~Nф¡|T'EIqRv17膆"x00]rZ{\sy8gJ\!/nm秉7Kb6:{кF'gQT>S./= 17F7b&Ł2BnQY9!"w9'!tq_!x8bF ֫V\MD\d{x]i+K\˜nѝ=5[I!RC\9JHW vثR%E^IҠf(VZcWU3gsتd:NpW^`Ӽ\Fc+5k 89%AjK^"P`a}%aq|BZ-ؼE@ԽRa*ҿTc4x덜3PCՕIIoqP7j\̩dʈ '/ksH \Xi;D3S'Òp{Ԯk䟓q_8a>=/kp>?2УDNV.me_ҤU[Xv.Guü2h(M}@>l#%MR#+9,J/I'E}Xm]B6Pg./{*jWv2?L f5gYZ7zXZִF! V]ŗXiɟCrhi^IxDY?Av|4x1,!@0wq-e&6~=OCRUTfIuG/TqyBIdY"=F/G=[gk-DϩAi9lhN `3 oC,7!Dэ,0w$1`^JZjn5PBWE#ڽDH\ oQKݗ0`WV2E] ¤"Sp$(+a-cjǙs$V\w+HOh )L,YQÐ>CP icSpgYZ7zXZִF! ]ŗXi%;36_g ÆGq@K"-_$^jGkԙ@TWF x=dV}`ǁmwf&r A^148!K"NNs?tr T ׳>`DyH/0WwoggrXzף1`7 31/zu9_ʛIHF4S\d0 [?<ܾхڅQVW.,:3K mK8}:aL!e3Tw=<ϾGbR9(̙2ף"/!p#a eĀ3 Er WUHL[ u%]a$q&J;ύY(*[??`@ ̚Vq&E_*?C~Ae'ؙ(sqH-?j_nÜebgƄ}RQ,1[xnW [j7DuuNv5!bEd!#ѲbJ.m\",Ad9Jhd< Z';[;&) ^UfY 0_cw+nIWB"'4 Mv%~$\s` yRʅgs:ߵ[pbk&e?rgT5`T_>$ȑ;rw^x*޼y(6qѴhir pX ㅝݽĥ<y F$&? fR"4禩 lgJҪN̄ ᨈ+6Ud# ϰa)ոk *+e@b\< $F ZM\iAѽwT.Y(t%ŌS2rtG兩F9e!d="U4arnj>[HYlf-!Tof🊳!?^Q&'ʃA e+sg-˪{b㸻'hHykodJ8T&^|:*="5k>,x1CbBPZ-FRi0=iQ"+}[pOK6n\kji>mLlѺuNFZyZ4J L+g(c/rk*6pMY4hu^ H]G1W&@) rHZHumN8\,w/&ɀ@}`[Ns5:y=;bBФ* rQ9U?Y7{V^aY* /@<\"4"sR,aCQ)8٭D$Ex q-Ww9'Lo1^`{"=5H էrH)LL4 :^2mxP럊K>P ^GOFq`U"=[jgCc7Cv0oZQ4Nʹm!p Sh_Ez(5"v^%Cd+ kDɄMCOKHĒ+\ŸGl+m},;9B }itcۆ9MӬ!-O J ^uIl=T'{ŬFA鑲̋sT/Wwˈ6W*[ǡ< Kj .*{$B56nVùK&`w\z [[/I&