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 jt 4d ]/]HOLCF:threads=6elapsed=13.755cpu=43.740gc=2.2207zXZִF! ]ŗXiɟ  QLwЪ4/ۘŢwo,( l8t6wG܋~gCZmmsZ!`34эV(`y6BW/8>͂;c8E6%wt.6,ؿ`I 9 aa-%WKY߮)Avz]{1*;QuY30n;f|ӮD\j Xi׶[XPb}¾`hxGgʆNl}s?~bK'Uێ|a/81dbk,ҙit tr\7< 5 (2Szף{Q-rYo%}%r}mBQz]. Hs 82@V7w{⫺eH0[δ>MdJpNm'Ukİ n8ʇ1+S5U G cċ>}syI,TY<-e*?fP;hK؁C;gAL%O 6ܨAYWA@r^i~}{Ӈɇ9S2]% d7pC݃Jwtn;eU0{ 1e3.Mc+jD™QO`ԄDͧqW-M1֨EƢbPVSGa.h` YL,GP܌Wʻ΍-(G|0;w1|bfňφTZ< yzڋk@I|ZswAc+85")~&2᧱9*O]mg}WFo$RfZKd MWR&e֋oO{ܘ<6Q9Oi\`Vڟ<14y\HU') Lm^({~I s֔T>>vo [sTȔ.Bp\WZclM=a?&آ.eS@njF \JK: ɆSJҴ6SFil?"=ɟ뙘%O };ǃ6%wE9ݮQ:piƠ楱gYZ7zXZִF! ]ŗXi%L(lJS7U :! p!Lc$!]݁ZA;Fqdjs=o/Eo/6sP_J䇘l_*^KS͛.V6U*PiPX@{xT"V%*BJdE0]u_ yFI+7)nѕWZ8\xK(D,yI̋D˜A~/c!-E9NI98MlV1RC5̽D ' czᕝ`T̑eެQGQ M4H`C&YV[S#Iü y= yIPԵ$L\ |%ZA\W:[履XkFNaܧ<͏Ga O?0x[cLY"*"EӐKn]HXM2˒o!5ppSΝbIPYj7AVRiS6S|/0ulT.HUI;& yϛωkS~}ʓs34PNpG{u̮ c37][eo) mhv 8ASuj!S=;C \^XyblRP$t]'48LQYΜͰiΤOe9B:\{OJ3o#Plo+i{VHtRaތIQ|y/9v(=NΡ4 P!Mb 9eɪuyl^/g.eן h!6*#5χg]K'܎kK)C Y 5[?VLP'+XcdGY ERD/"W'@IHg}*)VBI` םUtlb$~YY#QOb0Ѻ*u|Tfk5\>W Ix`+uТc)ӑeG5l6^wg\<!@(L) ιu!cGAA)~ڗlŻ2g^AK~SeF=JX @7mcƌz%2%7ǢudU=!I)OY3J,R BeZdJu fރ .O< Wzj32[J}K^J-Χڇ@U$ͥw81,y\|wj˲ )Fb)YދV h-Zc[\Ɲ$<&JfZGحX.2CqC%Gx%sbͫ:>%C%=6kŌ5yKC0̀JE>1MchDJ->"5)O*/^j8MR+_W>3oϋ=L_/UF$΋ ^ć8x՜.[il1 Kw{a"ׅe?4 ?*ʣtإvt-?ίm2U†i[$Oсvs(Zw@l;x{9wiқoLE't384 wt2k]gq _G '|ͦNJY+PN㙡=Yn.If!!I4ؽa5F%"lWY!/RQW,gYZ156bf3669643ae5dd49764974b42e78f345014031765a06ed7bfb95809fcd480531b6aea79d668ee db3306e1be724f76356daf0f2b195629ce39c7d0dfb1c663f370f76de9b26cf43648c50dddc228e9  HOLCF