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  . .O l\ ] HOLCF-IMP:threads=2elapsed=5.683cpu=10.040gc=0.568factor=1.777zXZִF! R0]ŗXf1-q恈N|5` 6Hc( zE"Z<ϰJHSo2Wia54q܎@Y{na. #Lk Qkՠ$F4)] =,h2 a>`ϗ֝iZtUP?Q0aI:= 2BK7cCz+Jz.9EWM8@߃NcU\:}@'AZr5Dl"5c&:KYa;'-7ɍp".$,wPP7TVE}icr aDgYZ7zXZִF! ]ŗXiɟ1,plnQBmjsyKs+;Xϊ/+~)n8EBZ{K"j=GɠZxT4#И;I' K9C|w9-`/B_Av(v1Z%yVUegYZ7zXZִF! (;]ŗXi%;%eW(^>Pc:KC<}*"#hIAȧaj3+!bszI;PDfTndH?.5-TW񡸜Ѕv@1 iq q_bs=,gmv5>O(.tߦxɌ'fZbڑc~ܽݬD@[Md+PI"FOR$ /Z~-_g oVakq9čI'R6Ҭt{D(xtˤt*t e$ Gαr|gPfIJl|Q _[,.GRiHck%kUͳam-(,*Wګ񡽠RԋԒOC$Ā*w+0l4Om_y#glbꮋ+Prn 8XO+8R t |hV_*)[9?[$ƶ3jˋE')+R. Y# n_ d=gE$*wdOqC@a;줚]99e4,D#)kv icB; P4avB֕\u8'p-G {;#FWwzAfS ^Z| &8-VeU,m$&b:p0.< B// ԍzI}JKdAC:JQNt0N){ܨ,J m`WGtQ8 gYZc894c97cb1df6496f4975f5e4713ee3410b341c3c3eed4da8d2aaf2ad54b900993bdd6f7717404e6 f5ae9f289847647563f612b35004c35ff6735c80 6a0495497e4fe29e748a288ba8138e6ef472d52a   HOLCF-IMP