SQLite format 3@ . BBh77otableisabelle_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  |< ]/]HOLCF:threads=6elapsed=12.099cpu=34.784gc=1.616factor=2.887zXZִF! u]ŗXf1-q恈͐7ӺV w;GOy:Cir8% NVKh^̐n>VA#6sDm;O]Y˯9_ OPn*ȊT1B~9,*[.bŒ vgȘ"@/ ꕜϘASwo7Vn3Uaanؖ|/E˸ס`k0y?DETbwx ~(+2>]JqreC(=%iqb<ަMjVT֧hzJpl_ف) n=yPfӭfX,P`J@ʵ7?<gck϶OǷAymlspԌ2S b r:58X&~/s_]Vc<h_ޏηͲOS*}t|`oqTH5gr"D#DZ )67e0AL3_!OVfהߕ>ub'=hg{w6lXoGޕ,D>i@'tq+ I7,2u׵HNހH=aC9 $xdNǴ؍ Js~^iR.hgYZ7zXZִF! W]ŗXiɟ>Ӈɇ9S2]ʅD$C <+ked9z|k%|W٭`H Z}6˕͆NFĩJjreV$hC"K㈆ _niWPߚK)g#TʹV>j.:SO$};y'"̠,X-05t7XQ(HDut>:sasoi}IDOս&,bS |U^ 6tA;h_OM J{^eZ']Gbӑ5d\MCs{'%]0"F,aV$jRfwsS1Hr !8ia,"[>ghMMk7c}]qƵ]\*;tɘ?]uj2ovى>;=[|35R2)u0/DE;U.$aP>Ŭ=uR 4R&:߉ 6H2|ԴZP;Aɇa-L)/};URY[Ic9 33ɟ/&x?Ah9&bѱgYZ7zXZִF! ;(]ŗXi%ϩv9QuWW6' +ל2DDkTYD2ͼ;*x yqҷuHޠGt־]e>I]?7TuѸ4_VMA=Vsʰ223N9pwI:4vN+IETYjD~g3DzUci3:O Jm)ؑ))Te8=a!(9@fjPōrOWu` ?3Pgb> ;py5;*em;E> c'8FLgsjl32,8nbX_њv&gYZead39d4318e372b9dfb9ac859d89f46a58d4c6b590cfdec0d87addbf47d3382f9c916158cdafeb90 4464720f6112547e5ddd8b507d4f8fcf7d12bdb7dc8be132e1caea1c75137ea319a723b9527e1cc2  HOLCF