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 I 4D$ ]/ PLM:threads=2elapsed=33.840cpu=55.824gc=1.928factor=1.657zXZִF! (]ŗXf1-q恈NucvAݪ4 c?[ݍ#pdTMR^Ir-Ț4wxVQs[1Pоb,_d[&Aص IҢ¿*'!o#C/sj^c~vrVo}Q -ui748Q&rX<)؏SkZS} @BY""5vaC}4!0H4u5 4&5p |(ҞO:a?vw mT&T7 Q.iJGt2B"&& +F+ |Q=> KyJxL"  RֆMx>wkH?dsa!bmKMWQ`qj"'h(Uײ_qwn%Ѿ&mo*5$P$0mؽ ղ:WJ;㝦{jIZKG}Q5\n*P*l2>M/$er/0kbߟ i?HlbI(fbbEL0uzIeN; eLfـeŢ>;xVQ\%2ހ-Un߲8>96Bff^wߟҔ+Ld|ZMe`,qLp.YS&zvyn y^sDꅁvus0Z;̓ $ީ6Q7r O+2q QFgYgYZ7zXZִF! .]ŗXiɟ1˦r p0+7bOa\ AT8Fk)Msh/]cǭۭYo3.Te@1d+jaFb #2>e` 揭w6&]#nV+@c)P֧&Ep8JOjg9,2HCPO ^&X1{BM D:&*G;f'q՜ 0c{˄O,+[zp*9zێ.+"09[ 3&ld"OVAcUQdNfia6^15EuTlS6+ [tF Lwak.G`de !E\3y NmֱgYZ7zXZִF! ]ŗXi%>ggE8N,R*ۏ78Mغ)|He'd[GoR,ՌߛܹT?MTx(hnzi2ɪF#R0Ѓ82F}ҠJ s/eb" F78n8un}<4_){G;)sU$%OI *Ṫ cѽ.L>)&|s=[k:nS<{6R^5hlkBm;Ao WQ `# t΄S?hY\. 1/n0qA.-`|x'rH)j>^.T,ˑo2Q-aFZV 'wX cigw̿6`7(8Y[%?x 68v7!*AևB#c[`7֦z D{ BZzG ^ [a?Uڥup&zt6 aWjFFevI1O7zE,:I%C9T|fpJXxe F2߆,o S3NX]mM|:e~ߛ#u"~/#Zr;C",G.޼B8[e$'/2+ታa R]OTrsHm yY/)Ϭq81% ^s ˥z/MHIsx-Яl) SzKoo:(II0 ~tuI{4w^8MqX~*/KD@a#}R< +Qޗ߰ePQK94:ߎKC=Բ妉+4bzIؤ'ZpvR+64h w醱c ,jBb]+'2Nǡ.Wx`!oڲ/S8¿J[z8S4'1LR i9;!nOCG2O(dPp^9gF.?ʳ7 yB<q@fcbx=AUF#(<@U$nZYX@E^Z+$40r%gg竛 y}2vo?`܀N2$H7|nhҹrx0Cd]AG5QƘAxEmo*$X9xgnnqbCB7*.auRb,sPnY68JjwG;Մ/x5gݦ>z.t__cݪApd(7t/bꯟod/8mZ?,&>h@XmMy~>D%/CAS'{?/;Nɼ'b  *Sm*U`g:; м:s烜VqI/-]ئ*;8ưMCR=o1ߝ"]Ά'^~jKRv|N~)ivq:B^x_[ Mr>fD ;( , vU.R) %]u .'( /]Hnߘ_`={+UO9 #ud}۝}9Hk䪲'K]Zg(R,e4htM!4C5/D8ILkTG,[[اȬ}MU˜^"Pt}(h*^sh1W@;gWƁ,[BaNT.4j |牪,Yyihsm[ \' 3NcY6,|.$@4mHՠ1 u"K&5ə6䃣VYw.jLxo |4R+ (w~ZכƜ^-)Eum2{D]օhwяE+%lMW|I Rk>^Сڏvߧ~L\4n@ ]P-֟qgYZcf44142a0699c92b06280a26ef81e47b3fff57d4767d1abb4385cc0848829909014ec5284a74f26d f8f7da93998fdd1c52e2a4472eb3025f88ab3418