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  ] ]' `;Gؽ8nt*q* .#lw gh,jl{_a :6v2ki cB>Qu@" 3#l97CI2#Dɒ@܂cKYY#5ս9i] d1¯ 2x7K\n3Ś/d4RZelI3b9?d|Dȓ)bcLDhPE:P>K'6)f1QVgn0m&)CX%zk࢚3ҎT>ܡxs[[":Y֛̬xR+Tdc!w/+)m@9/i$\$8 /K,JIw= 9tbP}S o>3^Eϳd^]Ռz\Up2$ZD !<[ h;V#Nh*}'ڪiS1 eު._-nOr凌 Ŏm};+nQلG/g#!S=?Lor]+=ZI_|}$eBujIŧs7݁kQ}(xPlx8 &Hb0`Z Kj)t5,T@,cuPOd']Х fa[ 31Q>mYcdOcqtW.0TOY"&}gpR90;xO)"3RrmuvJ8RazzMH zV灝M?jd2l6Ӄ(M9kꔘZT9ܽr?8]M#|E|?=ۍ {҅ 7;? sV a  \'c7vOi$xѸH L9]2~@*`k3E*A!2&X﹂ytr:ISawII[?)!K-۠]4[Բ{B : 畑 X/flG2_j]h B5=R9F%9>ƻl5"/Opx.~r݅jMoh& =y\]ғ.ƥsZ,mI-@挜"0:ÄKoe'7pF)Hgٹ9|?PKIbxؘVzƂ?F gEM\bJ3 ' HOLCF-Prelude  v p gYZ7zXZִF! z.]ŗXiɟ>ӇuMwdӘ-y/եnϬ'(w A S[ =TjWB` !x?2أs$IjpaߑWVJ\K))D E lG:$0}+\4hz;rۈl7(9!rP$|,ސVYKlRT'0!XjE"D07XOׁm FEˁf #@PP 0sYVLaھ5dFaA0@/^Dv̀JS'T`JJ"r5c"\ zbVc[cM؅?dL^tmBqNE^wOMCBɳ9"y3=W)JF4h>B4vpRb*IZ>ˠNh&BZx\7_O(]ڼni;v<+}=\&j 46кht\gCNcZ}P٠s,@NkhA6hogz2o 32To)ӭM>+fwǺGTi+HapxwZ^s76 &诰x -2,"YqZmA,< *`Tʀ+]3GUR tט}~vwɎ*3s*6f@bvbb ]>"|09ν:DEDly9 ,4^yGfR HEE}*ݷdD=%TGAg;m67Bw_ɬ3䡘Vuܻ!L`t(x=T~MaV-Z[IQTitY(;&#acO({2T`")}k70m| I"!>)x!rVgF># Տ8.=> Ϋ zvj|D\hW3\H$cS~fJYy(xÖN bYOlSv21"U=X-_K%GN1ޥS%C LqP-כZG$Z kJJ%ryc61U-R{.a`WV}ҵt",fGgk{Js$|XCa?(m$ 70f,eϔKj)K_J^RW&xsI~t q𭽲'<zL-iw8_Ò9`uOt3.y_t;t])6ί {~ֈ gY:Ʈ_`]믂ɠ!%%?eWDOW}+M"6oGqi)lldWkQiZT{iʌ/q:7W|g=څ\܎A9/ȰY~ `os#g _qg7gphn{RBۗ49_gk GW 8D OMgyƭbp'F"zln&k5HXl^W~[WnBYͯKm2OܲyWK\'aɊtjQs Ԣ㻸^zhFn?xs%/ΉKk*5Pӫ )Ǩds`P SV31}3ܝk$FF;xY bҖR,|ԻI4.m'!kԏn͚  Raf^U5RCp 0oVR6cÝrnRQZ|4 ]\oo>`_i@oHdcyx,֭"L4)P0ʊk0yʸ֡.vh0  <Pb)w?*^~Hu׷'|2_i}D+/${H_ɨ&j€zX`Ne#0-CyБ T(ƾGhSSm#4]"g'22(_|gOX N!3nvOxӆå(8:/oqU~5:/q' ^0V:T5Il3J[ޟ>@ݤ8.a~(]'% ];N7UdĆ5EµmI};ngҁ؆; !HS P0K'a2*pWߔ(?gYZec8bb21309e9d642feda5bc11580fe70e14be4473853cc710de37a8d8ae8e2ce10739760530fc782 68e24fa803389d76024c730e22fc9263ebe14aa0 0d4ce8c77ff3d97b5819090ecf6b71d59442697f