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 + Ltl ] Cayley_Hamilton:threads=2elapsed=16.447cpu=29.756gc=1.428factor=1.817zXZִF! Y]ŗXf[&w1I.dv&v0xf?Ms\$BUYϏX \=va75Ni^8aiʲ03(EzI+DA1TN#}ARsKҔ7ڈ֩@`N_ z*ͧnaTZ BT"?Y|v `/*{_t z΢,Uf -/9˓dh<_П]]Id$|́ (b LOT$vxnT[%jKS7+|~:R/)3w'\,D!ʠ6ץխPÚ,[3bZ,.E. ci7f܀iN̴926/$ΥvF [u|)OKȚ(ګ@zpf˭\j}a{DbE6ר+ڃ'~طTlsw9&~:eqxuAiq qWng0R/`rgn-@)f.ptm#B gYZ7zXZִF! I]ŗXiɟ1˦r w/8OA~ko *f]^7L%=Ap钃9қG?VvF7ܠcq`púrE}&I󅧞HRV*91 egcx jofy`ħl'zI_1^\SӸ{ƽf Y2PaB57!d=KXۍՐF?# %МT:/>0Y*:X} P6:g.w8T(*>O೚_"3IBy2+[ֿB^=QyA+Bx%0W<3l'4[ l_ r:/r6 26Nw?Z qf~|K^*3~+n/<},\,Ҿh{IFp$QynPs^\0 QX5]w:hqβFf TӺ_G>;$dl\f1hbL''R'ت;v}2p%/fsCmi;۫;~$}g|(:2 6!KD95ODBR ݥrre#˃;몬Y۠WME(X C" aZWjwCّeW`S_ GOydk&rnF%)P=s-r"VNdm{ & (;Dgl9sL/_ahRR?8>8o |ĦtWnxH-=UA$Z{ؙ\2CF]Ѧ 0OMVGh L'[AKy!Eg3q=HNtV |D<^6JTAAfmڕ:3Nv)~n-z lA͑$Q?ì)