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 wwt< ]/]HOLCF:threads=6elapsed=13.357cpu=43.336gc=2.4807zXZִF! ]ŗXiɟO}M:; Auܛ@{w6hxJ< ܳ):lkR7酴) p8O P:-<}8g"u6aO_qϗ%$v[uz27dlop $8l>OGUfh>Gkcr$5LOm VB=F9F ޲ɞ"S^vzBliVF1z6rM#tю5RȯPQ_;4S1o,Niw)3b5tgT0ڍ' ewP~6 iZ)%Ob p>~y: 󛵻X ";Nj/p92$8SMuOC VZUF9p,_s`E,v]hӒfbkz F<|4mæ ?n+VV>CE-[I":\&;%VZʋռ!ՀThi%Tsz[g%Lr1tR\S0Ճ2~;qwXg!֕(@̊Pa\6u\eW ɿU>{ R\daa"<!ˑJgYZ7zXZִF! V]ŗXiɟ>Ӈɇ9S2]z|fA#j4,{Co0lqلrԆ4^>mȽS>}G\ﳆǃD>Mmi.zuAݎ+/7,>wʼn0ոis6/w4SRށr;2O?ßb}CjR g5 }!?<ϝy8AWK*F)iM5Hڜ PLBiz(ݒ,&든 /010K!Ɛ|`d0yN.@$'&,ȫOP7;)rP{iAǫ<9r;2Gk؎(W7zݺJxcxVebrQq­A*Q|C?=ѧu:p^+aPG93ryGz4-v02RX6?,[iSɑD="ݦT ։!>{2y})6 a@{iQ 4 |ʧX1 WGcv(fu jOO3pp&BDoz"!!T oeIQ;*`;@Jg@EMUdQ\3Iss?1VA-m'x7Zk@6X"Hhauhg0GRW e .͟ڎT,n$XȯBLpC¸pv߬La-!{\!:[;6 yE?gmH zmcJf_x*"÷Du26A :/mPmYB=]!u-6fxVпP}aj'7KqJs6QJUp BDf5>/>x01aQiF8bAE][G?^6H<(J֢+1Ոo~3CMLh9!'2n ۟R&.u0³.R&Ry(aۣeewՊȜW}dqb0N@4, Fsp1ڷL/ڲ ˊ? Q1j D#%㤤{en@}z iUuyZT _5Z3kq(^b~שcfh^a1r wFc-L72` 2Ñ1(#76CKA:[ 0p@1b|[x³)Z)=u!o7rgfJJUDpZ.II݃ɾ/cx,9PZ:F ٚ}n@=ؒ9W{KFHf+[cnM .s]% 33eG6A\6mb8hM2A-Ȗ"3+my;Y}$~\1?7 Gj])JHב{ׁߣ,{_K[EG!ipR;ȝHVE`6yaYXjbvsĀ[;HC3s*?IwCb ?r:w7.q%*4ubN Y[BH4eMlPB 3KiC_H_{.$Yvγ+uQRQ=b(l;!She/H&CBHjc RK|ISl"݂7iwGEkU墜$z X_(ZQb27>iA(i)Qlw%yCSwJ5J!hy,s+uJ(`4l^gYZfd6c98e50004086e0d15efe02356af87787bc4a62378b0ecfe5f199d8fe42ea5ccea70a2a20923a3 229a1d829501cf0a740156509d19e43499ab4beff83d7033b16a537bdb1e000671132204b7290a25  HOLCF