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 nt,D< ]/]HOLCF:threads=6elapsed=13.904cpu=43.544gc=2.3407zXZִF! ]ŗXiɟ  QLwЪ4/ۘŢwo,( l8t6wG܋~gCZmmsZ!`34iiPleZX(MCc0 c* #S"[ nnl:pfa7(S7P!1W3|kُu9 53\o3Th!1R @e™j-PzɆW-m!E˥ ?7CMDf9E|eW9޾l00-ĉ9NJ_:v9rpC+LzsSn Kb2HSjj:A@;b%6&U1Wr@WG7c#a?8\L<؏5|OC_2 9G8_.0{0KԵw/(m$srFxoM&|V\Uc5Mt?eܵ|6sseH[lQPFLj+dN7A>ގQ'g$YA/ȧ:} cx}ؗ~0Ey,Z ,iMVDSDjolqIc"IKQF/g5ڭ(݋dS=!%Jtσ|Ӈɇ9S2]ʅ?% K:^i0y'mgrHӲ9HЦ%z25;BDJYs7C(sbk6PVDvsᱬ]'hsΡ1VmGN"ԝCe< 5},YW߫Hpm6.c8TơCPoGݤϼ溄$ES6o/FS=&(;gl㣆 ^+q`"p!Y&sOl`A=(5>3$[bas(6 e Ҕ/Zt%5H+gn/<7T];DmxMW{((]!hxv,O.K*8w^6 2Vl;5n_zq('04[ʮx0a,`#QlgP_P/=a#MlczLRm]lmju7,Y+KI& u硽M4߲{4սr(E޹z<3˕A,i%|5]7l<??gYZ7zXZִF! ]ŗXi%L(q J>SaW@alokbG>q,} Q 6!w% sԇPΌUy tV!S"}"@NXc̺!z΀zχώgݢR)Q(Mj#=^L=>ZҪ,{s$:L,j#'ȘF_\DߕX៝w^T6R`,bϮj8((@gq>qv.m/4H*-(rea˪d_}Fxzڇ*8l~*U)x/VGz ~Ѻ_('x*33zĘFE,#3% b`Eglh܆ ]Gv'FCT]^ tq~~ Yke=Myٟc(gm qL9ћ#„84m^c%y<~ʶ_)iDA3L8 @RN"/@*}ffm QF=NBj*MS_qG`9Z&TR0(=DBw kNHPt5ӱ+7gb Bt.{lo-rQLarރFd8dS}?lE*HhV猾 R/3:WFGOA6aQ+xF@.?b[E:}bm pL)?Uh|1[cfT_amBƬWe8Jz,@4gyq p6 y. ^SDrhl !g\[wu=7r vFil@$~u^[.,@3F_G#Mu mybz9>ټZ$b&medPyIojב8^߬{!Ą( 931@ 81dpn GGt(ߏr 3}-lfږZbUhU!ILVg)dn@7>FVJl. Th0&._rY<ږJ*7:*xleyθ\M !_1!~6h%0ckx&M})l-¨Ǡ+v_ tbK RpnA8fWFuS#^>xٌO?!Ȩ:ā+7b7ЈEC[R8'`ū&nVKP(*0n<T'f @^<#5íՉGҼs|l+gֵG S5רSm(ڜLMJS/Z?m6'auu^SVe Ŭ @:u4*r.D6vC1dܿ@WHL:Kh,0n)[|Y/4٨Wuz1s ,ݍj=?' >Vwq:9NCk^{&TCCoD@Bu{"r#P5+Fj<6):|lES;k-H0(u9`6%/@Ƅ gQ<$٨ 9ИE!ӭqG+ny3d"tʪxR$cn9qB#I`MO:BJ WU/6BAbd>Ԇ^eb><=I Ǣmb-Tn%nR_T'ѐ"1#gYZ87aaa1a2d91e6bcadc2f1e2372e357453b72376d1ff54ca3c0b35679bcb668ab161c4d90ed31f0a9 27a80fdf367af8eac6281dc27ec1d7c6dc00010d8446228494c4c71c2ca9d94642c2f988f1d4d6b7  HOLCF