SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "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 c DTd ]/]HOLCF:threads=6elapsed=14.857cpu=41.240gc=2.456factor=2.787zXZִF! ]ŗXf1-q恈͐7ӺV w;GOy:Cir8% NVKh^̐n>VjO&n]0 "BNi483"x_.2:Nf@lVN/ *ۥJGRd\ʓ-o?; vj2 \XM.Kjvhz+b<% #^{:mٗT}`ԝʥFvн/dAH"tI">S܉ NIr&uR*5YpΖ;[:|~6swju_b[8 l䘶S^`QW|bX+TgF."Q+r^XnD ǭ'd?çqr1=KgZW>Gͭ""y,3!L:$xgkGkrq {bkQ8alTlTM,%%/YgmvD&MHps*EV "w/A]S3:4 Jk1]Gc;T`IancbCů !IIHhvDI7AE@J.n{ny>yg94Ԭ+ql8R:3,I pc! IxL %[ؐzW !#ƍ*x?>DpS3C{#-#R\iIAmyf!7ursN襉k'V2ig}(4UVgYZ7zXZִF! a]ŗXiɟ>Ӈɇ9S2]ʅ8'lAU>3~(y}?coqPFpy搾F̓ >V'; "102`ζ h0:WPn uɽ`sh%T̿StCG4w!'3»\m[Ŷ wldbY˂vܺ#ZvmEA|зͮ| /Ё@Aׄu=/I%v+ -vJM?U\|};tM9}Kx)!^b2r+բK4yoB.!+F&^Y\=eņ&Ӕ:s?GXRY`WdYć[dOEo{n+g[Nlz&)edQq&L҈# !7޹}.~O_A62@]9g#mI,Wt, Ej4(jf̎ÛDjwF R9(~hA0}tEOӰhɞVgYZ7zXZִF! F]ŗXi%;qK{k{T}(lnbg\%̢ 21_QH2qysҦIa4xސqc@,R i[gMs[~0l4㩌i8Y} w%M}.少b*zFҬy0OdB•ÈrێbtF2(4[dr%1l-k!:H:H:t^ k9ﮚ9GT_2\`ۘyOdja2`j|I(^Gr-ފl_p NWray/@[v dR 7>L:p+.ʶ6˚DxɊ7a<ӏ@T\^,krwOe ڔ9O3ykPUڲj}7 2X(N b%x$`MeY[cwFT #¥ẘ03WLk=hm 9h}ʖAr;}.aY&+TWj C0&jTj\tv֗gi`<GeQ\,f)-Uu\{D]s$z&v-M֦ [|Vf &$uYN6f~5|idMGC-mA+7 s}woHO# a#j/"rX5~QT$U5700 LTRDPMZ.W+ }q2+H\M{F"1%*Wꔯ^ٴwL<ko-⭆`Cm^E&b yц]1~q[o 8 x0ɱgYZ9f67c387fea9f739a2120ae101d93036c018f9707430d2c0a1b08934e5f6cb35e5fe155e1341f0ec 144a96b403b56eb57a7d98fbcc98662a2732b6c999262430a75580c702fe3fd72fa0a2d5b29be0ad  HOLCF