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 ee' l ]]HOLCF-Library:threads=2elapsed=17.893cpu=31.852gc=1.440factor=1.787zXZִF! 9]ŗXf1-q恈͐7ӺV -O\9 a>)nkszf q`%h/ɰ=5&v-0.ޝ؄VY 3#EVI*0T8^gGX=]C%F&4Sk\S,0n9ǚh5s,??X~3\#*nLEO=(4P~OVQM˕H(D)ZNZc8̈́i&C:` 4 vu9ض"AGfQ㾱NϺǽ?(i `K{z@b! E o1`^'+oR L]ݳ+bDrpH %Ӏźccls!Ki{*ݱJX?fƟNsU1\ø >%M“GOJ@ r ${l:^O/sF @]cIy񙫦skKЌ*k$H៩O CP.|RD{S6W%MgYZ7zXZִF! 8n]ŗXiɟ>ӇuMwd\ͦl!Z{gLeS0)3HψG;*0!0v9߬G%Ox%n67J"D7%0(.;RfW =40&dS!7$];Gbz4T<$%fxcǑұ6ZwrUORՋIO+c I&js'J.1!tyVt{XƦSpO3)^>@jL $QCch -&Üud59P8[s?xE:5J(Z7+)9ے=3͆tQ)¼8xd_Hڃ\  u3VgYZ7zXZִF! T]ŗXi%;``Uuno'ѷ׳95 f^oFyҗ\C8dnb1fvDbpr>/}b2X3$sTk잤h2%8P`h ]ZmғQ:Y˴wx!m؛'Fi;)fOup?P9++>71h潒M0ehSؔ HR{Ɋi/W@iӼ̚ۯ 9@)]97q0Ŭj͖'$^9%x~lCSęXjz x󔓾>8f~QZ#7jAkϭf0=)җݺLF'6&_9j3= Ao;jKLSˉN$1Z%ﴛ}vnrggOm\W\Ɠ&cwΕz~N_cӰʎXD, )`,x42^eDZ 3tRPOS~.l̄N\P^ `Tqpe-òs'ܠҲʞ?Påj'[xS{*1sDHv%u֥>՛<_x35燔p|fF, h/8|!emjܦY=kfi;AS+qBB4*Rۿ"s>֍Rݟqe $MM[1T3-)tT8mzcuֽbITF@ԆP(5Ӟ簰jec\}eE=}BGDNoY4<,ZCW*{5YOVzRɠugn$@7LsԩqA[#mm~cwgYG.~qUzʀ_GIس釾n?7{˪ne>P9T>WOa1Irkj6Nyygn'탶|UFvuDBRv%VAQɫߣ'o(\P\]_}Kjybs|P[yQnkf>^vz}qJa \bWIn [ jRm𠢤REC[mZRdeU/M(ih[[`A^uof>}d9ӄb RgYZ0ac1a16aca6566ba3d73e4fec32434d55ceb1bee9b4902f8e8c2cff8739e12b432b794bca1b63c5f bd7d4d62ea14622c8855a61e25906a49ea079dab 38981e000ea0ec3d228e36d55bcdc8c74374da68a153209e5a3406cbb21b912b2268387c0dfb54c3 ' HOLCF-Library