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 NN/ L < ]/]HOLCF:threads=2elapsed=15.533cpu=30.796gc=2.088factor=1.987zXZִF! w]ŗXf1-q恈͐7ӺV -O\R6]W\2z#F<&>?>|9]_JOl19#Y{/(=6WS![s%0ȥYl Q4tqꮧ8=*,n/F=ĎK=bSzYR8?bJ9=S-b܉!FV e.Kzr # KmQ[Yhzȸw3yKVyYx;eFU.{<@A5"ta/T)K1D2?s܈lƷZ{=`)Z:HsZJlLJks9dP}68I{2龌OkVH-qJ^z0׏Ǔ~ˡ=zgQl5FI,dlU4ڀ>sVժâ,ܲ9% } :gYZ7zXZִF! ^C]ŗXi%;b@KuDeua$yB yӷ<зU U0TjMHz#zhE޾/̖Ӛηu M#1yGoXAfVʄ#2uHG~#Kyḱ/D73r~Tt Xh5%@I2][y!A3޴CycFvrȕ$ 'y60[]ME{Jhu΂y\[8̄6Ů+s(-PFsZZapLka 3Ru*h1K4:$,w`"E(5{^H[lϹWf3 xv`s;QTg.A.>y}V)F T-_}ݍ4@Kaxԇ>[SP{)LC|JW]R5 QsGV YUGŤccwϽBwhc#4x=ck^<fe$ O=~LO@mMKښnKY~]:i2m3B!"lGD9YɒaxDј'2(2;a[UCĄ_. )dL2Pc7ԡ?{R=Lj;s\‡_co2 ßΏ]d}& 06ay!&FۓriY9QP^EA[2x/a0rFi<+ݱB-g=xvɄ$[`3MM5)h?lHP࡙.s,o*]}I}OkKޑV!gu[BxGIP[)}vz7J5/ V+%FA@})ㅭebj$\5WI3LqHJ2zr6flgVE5T"dXFL}onJNѐ]gZB9i) ļ{$gYZ5045e3a9226003aea9a6c3c4cb52e47ba73d32047a91b7d56a3ebf5fb97cdd7322b4b23e24fb0c8d c778faa6bf8be5df05c2dfef635e886ae01138d508f16121155242c6676ea67472d405d5f54a3b7b  HOLCF