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   p' T\ ]]HOLCF-Library:threads=2elapsed=13.709cpu=25.108gc=0.984factor=1.837zXZִF! "]ŗXf1-q恈͐7ӺV -O\9 a>)nkszf q`%h/ɰ=5&#t\UzƹEhR@M箩‰85" s~m3s想H2uNg}H#.p U ()kxz @ňn?>cSE-Lqi4ˊ~҅zz8z;hPo]D)~8 ZxM8֪$7+UYOdG~ dF6 =9nq9!hy;!K Ί C-M'칟̂;rll`/ՃM^oQ&R#\}"Ԧi$nٕ @>}[>:gHBn|J6[_l=y`S~|Om!(a~V .#BzDlR.1>`|g >EA9 [tx_mB7ikr~ZgYZ7zXZִF! 8g]ŗXiɟ>ӇuMwd\ͦl!Z{gLeS0{_At1iʄc#? 4]`]sLv(.1cq\.]j/q Mx8N,{<& 1GBM.рø/MX_`f0<U̟#Ȁ~' ӥژ}*'+ˢGr u3N 0[JꋦbiO~:: ׳AwZ2P7$< L4^R% A) )xѶx~9Q0.~(5̬Yl:J2\Nq '2*GK1`m[]^6H ^Lcvd! 26MmdQ\Cg7; I<[,;`CP3ۂ Ge''8(~j 3wԣ90H:o]4ⓤM 8>fUaͯ1tUJY }d=ARvNd5&G91YVYv?rڧ^2c;֡]׵ro IN3F7UR*ȰxBKwe;d0Cnem'煎AEFZYUm,A#r[< Tg=]gx3]ˀJq-$ߙQHxh1琪O|z3 %ptXw8h Sz>VOM of>;'t#>IڬBJZs3zgV"݌R4UwZ2r'2n9D䞛:W:O= ywPrc^~}㞎 4~ vzj8/`. ҳ>#@&uʩ'm.i7aCP2)z,ц<Ʀ.Zz{5eGGjO~&U}aɗJH ćj/yϝsT"ܙ*JBpx޺'`Ϣq4cWǬEJUXkI ܸhq⮓A]J@& ?5~; u>#Sf+~JnN '1B' :kmmF2.yivV zgñgYZ5673d8dd5602125a97dfe8e8056d70a110910ac8c3eed4da8d2aaf2ad54b900993bdd6f7717404e6 f5ae9f289847647563f612b35004c35ff6735c80 6a0495497e4fe29e748a288ba8138e6ef472d52aa40bc7c4fc71005e393bac283e20b965061a7505 ' HOLCF-Library