SQLite format 3@ .  YYQ77Atableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_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 ==@' 4$ O]HOLCF-Library:threads=2elapsed=16.308cpu=30.028gc=1.124factor=1.847zXZִF! #]ŗXf1-q恈͐7ӺV 4{ŴH}UCkAF#YD`S ӂ Ѷ2"᱔LMbns3 yb$=6вˑ㭰z_jw~Lɰd= -kQOM/;FOu&஫[i)v>DwX1?Dp ]|LMbG.:u=o~Ih6o)Ovxqגpy uǦ;5%#5&EiT29FW9,0Ag+ S'HYE)`fs73?Z҄ޔ.!38S:I{|C߫ KV@ weS9RS P M"B\RԖ <r1>ګo`Dɸpo>"=~!JWi*2w~#c~\"ZBk-tXkHKV(UUZ]7Sl&ROv0PR>OL+R_=bbv6Z ,R`.7>)՝in )\knlU eX? psܻ`=~fq?y"7cѱgYZ7zXZִF! M]ŗXi%w:eOiV3ܯRN]bqC$Gxݒ"D` fj%'6t܃e bS|Jiƍ{WLYj+Z ԥh)G9U{0VCM̟8 U:Yx$Pհr b"2< c}8)]HTrZsn0RPÿ`u@˭z:dPtֻ]y1`|}alS'҃^iL0hqyAMgpt"`TN qeەStQ|[EUVV) 3^,0ṥ[Tz'7ǝ[O 4k^O+dud^lԙ)mI:̲o"?!qkDaB[2ٸX/^j[ ^Fw<;@x3E#ˊU>bO&ZC9|c]ݓzfyk{fg4vp Otϣ:Q.3ѠIwD$n' ]_!ſ%G8R 0.x3ė$7;"8DJ71\żp55,?! $܀d&5 .ًd)#O@}Ĩcݍ_3'IsI(z\# [eWe^$怉';3〗;pT)f=5` rPb}`M$utβ̗'fX}c2Ш[.);*7XFXXaVz، >\xLQ@ jO}E:!{VWt[o +c4J s\z㡓]WHrQ[Y"շr@pDZfU1g*?I`!,<\;7қR'UbJ G8 i6?Ut8o JnUHt_=}WQϙ3nzhIUMYUbYʹ| ᦋgYZ11cf04dbc4e453a1d7b6eeabedbc93d7a114229f 26f9f8d98728686a072e94f3597fedc44d57fe6f 42949db6ca1e816bbd53202dcffa7c9052e84a7a 603daa2ce7c00f846f9df310230d109e1be4163d 61d06369eccb52a4259b413e79abc18a1fe9a627 62efc8c92194064df890c6d90401fa344e8ab14d 7d36273a2e584d94d3160c8724cc6dee071b4ae7 852c4b663a8d439dbafab771fff6222b134f0cbe 861b5b0630fc19dfc3f05345c4c7df6022f02538 a9b4bb4f25cdebd3a414662083538a45c2f992aa c8ea7fefc523c5654c6bf3e85023068785e0870b ce168f5c6ec1725149cd64ec4a6feca6f681f8b8 d727d6d1c97d3ff7f87a3232b7c85a7de66d2eb8 dfbf5e85b25f60fd2b47ca8ca254aa7ead91b1bb e16dd81c25115952353dc50e98ef8842c8109688 ea07fbeffcb1368ab04358e4a6792a15022e958f f7d7695b21718df39e8a80a5c0e149dd8fdcff3e ff1a6675108656a7790a35d3dee6aa8137c126c3735820fbde580c794b275d3f360e30a6d8376dcb f7c5cec25e7da1e133019a5ddbca98ad9c7924aa d8dd2ab2beb525ef3191b37dd9466ea3359bf0174b0d2d26af4d60a02ca80917f97a9ca572ecb2b0 ' HOLCF-Library