SQLite format 3@ .0:  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 88E# $<$ ]/ CISC-Kernel:threads=4elapsed=14.129cpu=47.680gc=2.068factor=3.377zXZִF! ]ŗXf[&}rsSb7h3C^Y;i45j9 ML?}!zB;*bWM=2ĒVd&qYY7^F׺y|IVv .Wc*>*o%^ue0c'J8 3^":b:jelruZgCOmGg7,Nj9ҚQ,Y٘ۂrlL)OKbxj2;l2g'p(ш'Lr2pKӊbJLDT/Ɨv'6Q R^b"#d^]t(J͔EjN5+rz*i:S6nHi eeu9M#7e"U\(TDM1 +-|څƑ+D prߠGD%AlY\gYZ7zXZִF! X]ŗXiɟLN.!}" nPBڨ&wjn .S DcǫaIHyWkժl"X^amg# ›Ќ,fKu &dݦFw3iIbT2 N qW^BJ @jw!/D+o"WŎW5$}GU ͸˾ʥ4c\L%H6pW;5Mћe:e};#Z9|+5<=lfPSW.rW]՘s>D2t2uYJstCٮv7'~WjuR=x;P(?g BgYZ7zXZִF! oJ]ŗXi%G>2hY(^/{sck5zH%d|bCŝ f n{Wt&17.eߪ$UQ*1)" (h#ڻǽ+㣅Emzh' (va/fcԕe#>xp9%qNo{&M{|J"tt^Jӗϣ~ 2ՋJg4FrpSv4nU0'gaE]WnqL$g;K\҇k ~S0|R0X6o]wd>4x*g1vQ6UHB/KO94-3mʄmR 1P-43Oʹݱ{}"a8]]aX>RP?sMZ?k#,Ϭ`ELsj@{fXd*pd^xDOK?늀2ڻa/>{eM86+ϕ4]G7Y8,_fStfRyP\2-ZHoŝ4Ïѫ̣.`ρÙ @gtK|Say5i _A<}}uǫB1Mb-^^8\f:DPإǢ(Ѥ6o'2Cp';[6s@hd/ݸ~`d@3K44@efas[|=q#恜>,@gb1[K}_Rnrkq=Ԣ?^*_afHVaimcqv0Uҋb?LOͮؐebBRxP[-&(*bP-/n ?[S PHƤ| Ȭv:\Q3m_ZýXc' tߥJaHL#7~̲52$;"`|<a~஢g)g%T۲9,^y&6̾-Gko.)MQYCGRn)*Dzf8;IQyw"wc%m(˨'%knar.t",/9ےBaʏB4p+ >4!5ruoGADmcѥ" ^b"(b18΁ƐLuYF}iY۰Z:23S~[G>?+M]GP!5{& 'H+aЎMڸ5̻ŏ:(.8v{`V|NQxwf: TV2ScЏ.m4o`*|И)UuArZ` j7#%OyQgYZ7e4971fcd776a05a71796489fc77881b9e343cd34e13432f40f7b1835a151e11bc124aeab3c9b529 476b8b6d93e3d9822aeb6dfada9a4f4f5a0de682 # CISC-Kernel