SQLite format 3@ .0:  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "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 ))T' AVRCnYrxT~BUɿm9(UkUbuq!> !i7 jPVϥA^Jw YqWyjW Մtw4{؟E]*tˎSO vHYqS0ݼϾ . DqPK 9@L= ZI]0ogYZ7zXZִF! 9s]ŗXiɟ>ӇuMwd\ͦl!Z{gLeS0|D_AtiFO;'ބ+\ʏgqB5 Kk.WȈ0:pqW_GI5vLg+<v_bր${TFZN׬IL/OwDnywuw U#|dEF}|J{dٶ>YC昼JyMl^`nh!'`2\ܴMwW0ҤPHg!`z.l.+D`7^, ~.Y$R*ٌ Yji+NބZ `Qԗ쒬"KIsJ"FZfE (#KgYZ7zXZִF! =S]ŗXi%BPy?3!Ƭv9i̕xA bi5pm}]Q bP s!zϤf &sl>8x6.W{0OB;W7:2Y*!\x@ f4ZӚ̓bE!x`S_j(\Om*a!N_Bt|tr_!!Kχ4Y粞"rau3YOt%˶tK!D*Ol%8]yÄ|,=t߯$le@~ia?@CCBEO}bt`]s.ͳ%=H)+L r]"CիRa](_{ Q0>op)LC/DJF{Z ׺isV4u^;`;>&VQ Xt_aޡTSPŹgΗ ]&_).%k%Nǒ]8ذ6AmZ/N^pe [󾸉DbO?W*JX-Y;T|~*oy.a:29SGg*7] aw'|+̷W􄣝YKjJl&IV ]UYftt8Jěs\D&0 W\2&mLWŕc]6nR @$,~W_u@] Z}sMG=%;?^ewPIqg(kUtV.<{ JVkVFhɯcNe;+ :H@%jw^\'$\aic)('>_<XXWs<Vy|fo|DzO^FszAx*2Axqji EcP<*I2~ѧ{+c 4+9 _7gBEބL,r g˱RNd%[)xJN306czh^H=<#V NR'KVzyNo Gƨ|7:bw|MHe,I<{ࢷ#!Lw8>'uE1,g _+Nq: K?k.*q>ǃeZ5bj(0!3J" z gYZa9556c905a6a21a8ff21d014e12b942870240088ddbcbc2a51857ae6e2c35d0f0dfda0600638ccc2 0cf10e45680ae439599dd1e4a9dcfc11cbb36022 70b28ff218d28de290ad58ced4b3f912eb286bcf5c8d33eb5758d03508730f13bfa5d136b8f57c23 ' HOLCF-Library