SQLite format 3@ .0:  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 s l, ]/]HOLCF:threads=6elapsed=12.721cpu=40.908gc=2.928factor=3.227zXZִF! ~]ŗXf1-q恈͐7ӺV ༂Mb0v9?cGb 5Z;e3.i@0E(5D?WR#^Ո{ _#Iѽӵ7{v^hU:@kġ^OjHk|!M|)iX[N@˽+w*Jc1Q>6*à'+hqoRR"TY2u:~=dV}ϖ]4>,ܢ2 U^ u 9JܩG٘dg!9>mu 9}|y VN`0#*2{[k_(y-X[ /iW-`SH%'E:tLor ]-ʱP{X銗eyHe\pm ,P0(_Yjʅ4: (q/ ?4_k;8ٿqf.a/ )8H t/u{L! ]M XiSFx YK=ȉj:}zl6jDx5XވX^}UvnE $4^'5y1[0omJ>_ sO+5 h=d6` ҖgYZ7zXZִF! O]ŗXiɟ>Ӈɇ9S2]h( / ʔXogVdi1-gB7cEOpR>л#ډ syՎX>5+#Vrã,EےdMP@'ɔŵg[WAT8X=z~D҃SΌ`m}z3ȭ¯&D%bNpwNB/eEz=(t~jQáGqk*Ξy ES5>^H^MB 1r[ cwɏu}} N#Ϡ KKSq6uz=WgjnNednIdoRTLd̍&zRtӟӪă^#Q"8809[ۑ;3;Ųy{ܢh0Eav/]vy)(6k Mс4]$\ZvvR$o C]܊O|r7לlP_GY:~i G="sW4,?[#cRl3&w>gYZ7zXZִF! F]ŗXi%Ed{ǐY6ݽ4ӱ?.ahCm3a kQ9:|/9#:iPKeٵ=hp8%=c\@ݺa&aַvqS ${%HUOEZjH}C*j] O[:tK{ vZ$F`pd(9v s1(P.:.w|I"WYataC,)`)hAh.OŐ5uc< TsQ`Cդ-_&uly$+"`Ha¹1$/!ޚ澱w!/Y[\m$7VKWU<DzBy{fun3 XN#fDlFis1sت 3G5Ǚ t[bA*h5K8kc&2{95 j$XB]wC=%#}_IS,{tհ;@_)~~BHX>b/(׳45Ԑ.npPy5`/ ) ەra@tاoSn"ϒۦWf'V/dGN -9F pV;̎28WMtm!ES腨mP2Kd( y+I0Tr9yLm5CO\v!2-4<15? r?$bcɯϿ=QR5- %WO W%=L74/I&﫡{YEApJt.^܂@xSqF!!qK~tW(6vB1|Cir A& R%JqpjnXtc+a[tz4Cd@R)'mFGK-;9-A?L' n< M3Q҃g]fh+gu)r5 iv];,$C\Jd>Vuuqe2fiLqh祉ݬmcT$7_ԅ]zyV0H(=OM3HKT>/j p9>;n$\hL*R-3Qw :~gYZ26002b08cf03b257f14788f31bc24b992394ceedae1b5b2dbbc392659df742a008f6c67116d9ebfd 3e2f53debea7c11b89b654421975bbc5018e38b41c22c71fa4ffd6e06db1a9327aadf5784d683805  HOLCF