SQLite format 3@ .;  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 RR+ l4l ]/]HOLCF:threads=6elapsed=12.906cpu=40.940gc=2.920factor=3.177zXZִF! 5]ŗXf1-q恈͐7ӺV ༂Mb0v9?cGb 5Z;e3.i@0)-C cB3=-BC,ѢbPҤ&- D75ڷc21n5T4[gX ^@J8Qۆ]%4mBձzר,Ά_%ʪzBHr" WO=IbYȞmW?^ OوۈB+Wֿig>'HV<]Q2 bg7I? MD$] /yMx5\-Sti鵟"E:ȈlGko/"ps$í壳 ELyj:,rJS V2sĿ)ug ;lWa`=BP(Ӡ3! i.=Egrus)5H5;,kRĴ=˝%_^ۘ%وJlQq@c =Q~ -|/YfRa{oҶ`KȊ}yb>)?Ӈɇ9S2]k:`Ɠ{+YR.59` D#;}*%e]lIr$>Ug,7'|2Bw2󥵴t~|KjUoteH5ቡ} \trr3fN񜴞^quF%~K3To6ujP>H@O m ⠪1dj!Pi@Le7~ z& M0jy3b0k,=^@P713jY>9Ꮨ ' ( H $M*i8u9LqRF8Y*Jm4v,R/6,}u>` 算>u2TT@DYF2V\K cxFuC^dE+rd5eL`e@W~E+ Y{ __T^ 1DqZr 3bɇr9GiWx0] 1;w#(ݨ-Pɽx8_O"/aDo.gYZ7zXZִF! H]ŗXi%J6rVv#)S%gŢjad'6HG#l]0dq|u؅+iHtDjM]SvǙp;wBBb1־S#9B. & FΡP2Њ>NGi#[0޳D]BRS,}z!rQ#;cMw<LgtvqNj ꬓ aP\)!7o[KPă'w\fUtf&'tE3|[1(~-pM{^>'A;)O,,0.?[]S>swW _>Jf>Emp Dܰ3ZJlōSm%D(biAdv@;TNA r(c_ica+y PNBO:}51xl'f}j% e/DHHU kGck8I>Wrhzƽq7MO=ܛ 26aiOXсSZ8! 8$h0,;oe~ZC]Bڻ0)ъtnYSǞ< H@&1,$Π\ ~oQ{0%q K.ۊr7EK~^N\ Kӂyc#,4ĝ۽Y'8wf5)h{ xx:p'>rNQ=&ZmrMMuTu:'g3Wz VB0LU졓W};rPx.22}x4Νzwa#ړ‚5V ۏ2ÕU8#!jV(r EiPB {q,mDtks[nK*ٺJw8! {|%̞z}㦰x^'~7>%V:`dF[zڷwlj;<4hd :rIwm+-=;؁d sy|"w=qP.&׹~TA[ipf;J>Ir)#i$$%(fnIeClW ɰyGPDRKJ~4FXN(@HRN H@r*d=ӡ[ԤhHhz#Q7_X< -Z&>N1 zڔmޫν[=VY3iOt?ya&%겙J'#vLrsweg ]+ٯͥDWtD G NPR KLw@1/YAc{zm5ر+AX2 j7+ |J.2gP_鼣Hus~ZK ԑsgYZ33508335b35d73f75653958baad7fd747d48dd89ed49615d0f34d882905c1347e93972344c93c592 18a74e1184c98f28794864630d3eda03f7ec50081160c5cd254295467c19c6a08136c6e45fa15b11  HOLCF