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 @' Ld$ ]]HOLCF-Library:threads=2elapsed=14.553cpu=26.716gc=1.108factor=1.847zXZִF! ]ŗXf1-q恈͐7ӺV -O\9 a>)nkszf q`%h/ɰ=5&56Q]#T}N( @&H&P5kB6UZܸz3ʐQ05)K9d3>7&nKUFiJ_c;R;Bm0A1ƣ2E/wk|KiBWnRW#q)@VM0WL$ysE!}Aq!M%beRy Ju?P.M7YGnWj~7%?(+T֨G^֩./o \1 siv*X1ur q!b7Gbp wMY]p|RfvHas05f? {kzD:50ʁyԶ7@ʌG vPCu:ud9M5j/rqʃ[Nz/50zfn RQӇuMwd\ͦl!Z{gLeS0zf)N]YLOU'zI~Jer45h?y4GgC E+aPvẽ1_::'dkV86O0_y-i[ I')y[ITr>+zG7R.u { PSf#!8UWɹM'Țd Ƚ)!79vװ@A[صpCOɞ ]QGSGmhV==bzݬWVπFėc,<̍ ,dΰ:ث%8)܇gB56u[[d- gYZ7zXZִF! E]ŗXi%;G[t f'!+W|MF ʋCG3y;?+8ʢW.}ɜ>[bg69'Gޑr*1]xuW!Լс"( Z%N{2H`m lCaLfWJ{GBB$ɹn9@ 4ڕf6ϻ.8f}Xh!Vz.U\|8<Ϩŏ)2 {mye%aMF+ssY'hdn ӾGՌH37hzŢCbڪ (_㏰oA mG"R2XեskpJ 8VhwԸ\+W8kvN0r6D-z q5HFα&%'OMD"bn \A)L{o:@EzuX7 !PEr]+u\^RdQ驗ݱ I~"<5-_^ ,̔o!qdb=zn^P,x͹oJTCtY VE6~7+UaKG^BSZ쒨Bi$}|K|eG֜B6F25'6޹фNtEuTto.0JJwה3#\AuRT@E9j ?}gYZ5673d8dd5602125a97dfe8e8056d70a110910ac8071f7fa30665cd1599ab0688c2ebc3134f4d53a1 9735cdf9ab52c04e2b30aff2857f0646f946ff29 6a052b9f990c0caabd712f6185a05dbddc8c0074036e8eb2fb329cc37b64a1d3ca1276f056fef0ed ' HOLCF-Library