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 %%X' ,|\ ]]HOLCF-Library:threads=4elapsed=10.718cpu=36.384gc=1.224factor=3.397zXZִF! P]ŗXf1-q恈͐7ӺV 4{ŴH}UCkAFxm|&Bc5ݐhP6gփ^p`Db9r}HCҿzAc޹zP}y; Y,e~= 3 SD='8eD93"p%WR$6(Eӽ3*(Њ Vө/x\W6, |࢚RU:Yԁ7xr A>" er7ב!=fYRf=ڦݠ` qB}iXZVR@Z ZvP?1i϶*cx(xӧ r8G^YK}Y4᫋ΘWu@ފ7E:3Tdz5W2ךb#4RjD*LmUԸIJ~Q]iYw=@t Nw+7C;Yh?  W4hJ.;NڎEvhܫ5yC)?K/~8蘱gYZ7zXZִF! 9x]ŗXiɟ>ӇuMwdCώ ೇO<2s Bf|%2n|\_+pRA!K| Vh(A.ߴ/А:0;`Crj[v~_7Nopy:].c1q>d5N_Urŕ\{UkMp&q`W7WlxQhX{ށ+Y `$F"RA`F'N9[H"h/[~DW3>WW+)yU-ڷL|(0սx8?pU%.Ǚ|Ă𫵓S,<L[D+uK w~G> `zJwSX).ymg pZ}gYZ7zXZִF! 4(]ŗXi%B4钕hZcf42X)J#{^yC `bİ0"~Y]AeL@l̞IY[S = (9v!7[LO.* ًkS9Zg$;#600TԲ벨j)\菍]oQL$P܂|oQ{`y0?;Nsr߽WFc:ш鎃Pnݜ[F~&8jp4vݯC5۔,.ƀ y:ꨴ"ؑT3KMo=Z3ӊ\ηK.KӷbcD ͺYwm; !Q4Dw4AW:׭.s9HnQІd?d:eKsUq]с>b.׵QBԔt<𦾜vX[WǼB@QtQxIB8 q`T i#-TzNx w%n$"cB ȍ͠?*se}7?fHIS, ˙iRXgYZ7b4ac4ade6541d291c7fb086dfffdcae487d6a2d9cd33e2f2669d2e2ef0833012528b204015b12df e5cff2820287d96832c0244f64103884811e226d 4caf2fccefc3b804b10ff27c4f21acebe92927273f3fa7bb55b136d24eeb08a4536ca615507087b9 ' HOLCF-Library