SQLite format 3@ . BBh77otableisabelle_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 **S < ]/]HOLCF:threads=6elapsed=11.976cpu=34.784gc=1.828factor=2.907zXZִF! ]ŗXf1-q恈͐7ӺV w;GOy:Cir8% NVKh^̐n>VA#6sDmGt>5JuX^Y50-n08*B4P)HF=y0ת^ՒቢT_'x9Jc95XKϪo`=X}&n\|Kl0^Nӻz-}"ut秂tcS Y}U"|sTw]Q޲S0<s}b%{Su2QƌSdQ &Ѩ) Ї\@ SQhn1{2Wx" +`YnAMQKJ+(b1+Ȣnu)21ULn6+6-Ijg5 L#/`w.2l#WG'QR$$ew8B<n/%^@ФtNeD]3/rfR[uI\Bl3%8 (GE8j4aBd*'bI1a:mE5z0yU %ŅRK{}0l@gYZ7zXZִF! W]ŗXiɟ>Ӈɇ9S2]ʇޢ d݊d>)oMO{ռ4irσ,y-]g˸Mn#pࡑwkJZՑyzDgiUjNn3kId= 1K?pm)v -YF$z?ٓS5&?e;ٮI3DF6iS֗f>^mpgp:iX(RJҙ6wVw;F8 jd(F@!4^ضҝ6w8D?@ʑ7|kS-۟*/z;'_e>jm0b1`8E Nf. n2^RxC~+;pfg(i N{N{aō ڧZ6'mE g0z`}hy ~xнC5&Tƥ+41٠*F{nL q>NXy o~C~he_ēzvB'{(-mHN5{RFȩ&bѱgYZ7zXZִF! ;>]ŗXi%94ʠ|b]CgZ{!?JF %CM^0ǩ>ە&XN }x!3Jv,2 RC/ɢ `1bh88ҵqINjKh`਎LI$۾z][( _,Oq춳4'_o` <vض۔7S\_bTUNQ lYq˲{; B]RYG%Lp`Mu}"LiMo\A{N|fGy0Q|e%xC(CL-t:* iPס0@|hkIZj7P;=!p=L$`(qYS_: ZԒk9}&qGX+F+A1GW*Ku%~H̶b'+;L켒1x1Jp{f@Dt!u U=)01߫%DU:>#ͣ?BTך ,(QR}u>#65OVT_I\i֌`g2H~پ\9Ih|IO´0Vу$,sA0)Y;q^S}xl{Q`%^Am"/-%a]&7أ a%tE7=+%5)=4t7% ^x'U7zCڴɥU?$sl9_l}'M8/%iH\b-K]ARRL?o{vU]AlAzֆXvgO};vt@yxѥ\vD"gYZ160fc4ff998b313b2df0d9c858e16c77ccb756e4c68b30ad566b49580fe13839f7a432f3076bf46c c261812e8cc579b00fa6c102259eafdf6ed9acf2e7c80dafd6a23debd027cd47a8bb92800ed2f52b  HOLCF