SQLite format 3@ .  YYQ77Atableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_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 --P' \ O]HOLCF-Library:threads=2elapsed=16.529cpu=30.668gc=1.104factor=1.867zXZִF! ]ŗXf1-q恈͐7ӺV 4{ŴH}UCkAF#YD`SqHi ̠l)Uq37sQ\xPhY e?ޫ(xLW.oU?E~`=/q"bB ε-nY޲&>y;=E;{?#LA*4Ɯ[F!E+`qc ۂ]nA" |0H ѷ14!'OР~q>LhGxrY %\`saF#2ynbE͝x gR.]EB ən)-;asw{4,r;; ,򁰠P~dp<"FiLO XnGk l/`4-r}T^"Y&R',N) WZ7J<'Rbsݠ@2JWh8ǔau%o]G<561E5aPd5xE~B$LmJ^-Sҙ( o0]$V$5YVΨ,c%rr'PЏ陙Ve?g1Ǧ7b+ +BeJ!9[76ޕ}E3f!cHC 3JOobT :o#RngYZ7zXZִF! M]ŗXi%}~l;JQd⅀It#b!.ٳ:IőA΍9E1'nߡS~8Ù`;"$w[Pa:LZ+[FX=c J@A ~+3|^ë5’JH g*z%|'f0E<z."uw@w09{R9,b1̢SG0*Sw׋Xw7~~&{4δPpd9O>t'qyxF:=EXҢ6J,.9Ǧ hBdf6T@i0x&JA*,lF OHg_}8q(lt#C.LZ*y8M, v[QKn {HTv\hbq+WP(^?6Noc#Rk(WL7;y5m<ֺ3GTsK%q߹R3"PK薒F^3z}޻jbvu6L MJ2qt`zT8m`$Ye`\n۱YS^s'8mmV*m8F1D+,8nxV0Oj/tyHg%o'rh69~\hKHUcv`a>O|Ȧ*CɐObw  gYZ11cf04dbc4e453a1d7b6eeabedbc93d7a114229f 26f9f8d98728686a072e94f3597fedc44d57fe6f 42949db6ca1e816bbd53202dcffa7c9052e84a7a 603daa2ce7c00f846f9df310230d109e1be4163d 61d06369eccb52a4259b413e79abc18a1fe9a627 62efc8c92194064df890c6d90401fa344e8ab14d 7d36273a2e584d94d3160c8724cc6dee071b4ae7 852c4b663a8d439dbafab771fff6222b134f0cbe 861b5b0630fc19dfc3f05345c4c7df6022f02538 a9b4bb4f25cdebd3a414662083538a45c2f992aa c8ea7fefc523c5654c6bf3e85023068785e0870b ce168f5c6ec1725149cd64ec4a6feca6f681f8b8 d727d6d1c97d3ff7f87a3232b7c85a7de66d2eb8 dfbf5e85b25f60fd2b47ca8ca254aa7ead91b1bb e16dd81c25115952353dc50e98ef8842c8109688 ea07fbeffcb1368ab04358e4a6792a15022e958f f7d7695b21718df39e8a80a5c0e149dd8fdcff3e ff1a6675108656a7790a35d3dee6aa8137c126c30ba1ca971c8be00bf94431f0078936b10d2759a5 0ce03196a7222f6488e31156b520bc36971a656f f9c76c1abdc8d73e5ceb4083636dbe0be0118f7010367a48f72e88b001a184fd72f4b462e6824f3c ' HOLCF-Library