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 btD4 ]/]HOLCF:threads=6elapsed=13.458cpu=43.040gc=2.8207zXZִF! ]ŗXiɟ  QLwЪ4/ۘŢwo,( l8t6wG܋~gCZmmsZ!`34Ɂ˕nfDZ+ƽ0J谄d/)!w!S_UX$ zbExiY`jW4Z/ ED0sⱗ`ؾ*\էfߍ)K7G[Xv}b /+^bɪj|ݏP[_ `ź3Q#]ly~Zlb1)ZSVuoע-[M QxXLy4ě *W#M0~49@뜮 K %ϻbY¸uǔDGezj3V{Y\]CP2ŒƬU7j_e4È ٌO)\lz񎭙ҠwߠYwdN%zlVݮDaZ-^Ş:@qk qL7#N~f(W ܵlb"@4}d3O(Uᜋ@ZN~߉ߦS ԓ(Li8&k_E Q@4DURSWW:rdC>E@l՛.;=씇x|G׻O{ 8gYZ7zXZִF! T]ŗXiɟ>Ӈɇ9S2]wNsN)8Tbon<#t+nMݼa @˫Q[;]6Qj笡!>|;*mta]l_@r,'*VW]IT5gGE{-복U\˜ev<\x9Ur0}eZS?B#YMS~P \m~:2)TqJCێm8OU" S! .kz; _'pyfa-N+H*QOOckHqӦj)]oc:OȵDtm(T1GO5^ AQ}GR1y!Ca08@1hXuO"@\ُKjl"h֔"AdN&ӢdBȜ=<@+)tZ+^XV;@mBr_om4qfk+t V; 0;n X1"\DP5͝qۣ~4@1Pg}4\؞*?im5Np g]G!G2fć=Q޸y06_]~DK 3\k@F0_ݺkiFIpASG5+֬77Q (>?yYm&[l &;)Rzjn~C1p@j`H|$ɡ"RycgCѵ|C~0̣+4 Lza! J~3PNĩoR6XJ܇;*cF]t.s=&T6ͭ,P0rdj 븆N߫]ꃾtT*ݺu|#IB_ucK|M@KzEnhZD=X=[kp+(kUKAP_44 1&GoՐݺfm4C5S ?5+k= ~6v_-ɏ#X\n6MWFi5c#c#[=p~o@06Zw@hchF`~:XvTս:v[Cr&4po͈n- !|!tM: #4w4|TdqdKheرRp}X O5ilXڵ f|IQ66QD'25J &}.0zzzN3zʩ& 4m%[+ Nw`6_ҬZÚܾ ǎ Ļ (fϤj-UOWW撦n&~(fe K Ho@n( nX91̂WvZʡr_ZaQ[@O(0 Wk,2Y{VD_sxkRn;oKz:#n8+~- @;T.]㯍P64J9l吗v+5%PD-G"״3|þ#:8}>XIs6._iN8{ OU[q^'j;:/brx]5e{ :dv cO*N$3u|P"Jn(Tw9S #UfV"$mԀ,DV,QTzSaRMe96FT}-#ehHmp'ͮ,EeʓUݻҧ#cv0[mUS.(_.]vDޑN@;ȉyn} *!܆twA} wGGd9Ks& iUߺ =h!T'ןɐ '&pEdy $2a}[1z$xuu :٧eN4 zaHfI3 c>2S!hkp z5ahC c2Q?пb.y'gVb*=w%J#\ihݏ .?\[OƜ)eYW 7DS:#;\A1W_酧IUGvGQ*SB~\ PyjW5Vǵh7~*b=.L+C/EC TGUIIiqǾ $Z.gɐuAsS!,>ƫgl歵yvj 4S%TiĶR꽝Y!ܜ}EgV|ڿlO%Fv4V+8L#)SAYqMsTs~ɋ= l3̨f8={+mS#gYZbb2f7bb22000923b61f2b8ba34fbc4e737f50f6252d50d10ccdc465a02bf994ffa404cd98f184ab5 894864dd28b977490995f7378a440f9a7de17a673128e6ab040139705e9bfa537f3b2f155f2776a4  HOLCF