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 h' $ O]HOLCF-Library:threads=2elapsed=16.053cpu=29.672gc=1.072factor=1.857zXZִF! +L]ŗXf1-q恈͐7ӺV 4{ŴH}UCkAFm}ד!'_;,crG\-rq 44ZFږVwdfbĠKe!ιʄkI.DB`+MR9//f7tmt2Č_f k42zuI) ߊ(_u{ t3m{<;1Hl_WRv:m DYDa29zE:Z2w%/[895X;+au9ywA*vCڥC .[= KZt4[ B?5V7&F(P24t8맡Q(yѹJ vs,{[Ƭ2I Oxmq^)R[CޱgYZ7zXZִF! M]ŗXi%6$h^ ]Pkp!Jݺry .Z={ڠ Wm&tE:" ı&<WҠ giv0m 90a2opU9?.PXQ\!YӛϚrȂ37{?+]-aA:Uo;1 iGRRhә30Lh)+_"7LJJJ4=amơ {acto6?e2 /OsvN.;Yӱkr ݝ`66dJqIYjRbh5&~JҴ !N [f k 6jN%G:PX=KIg4jb-FДz?8/S~{hpQGAo,:8#Hֽi.Y1TƘ k8JZqn>X#;8?Ⱥ,_ 2}wx't5:#3h͑-WdndWq7Bi,X[;e0WB=#ug ŘV? i8LiB!Ea DždC2Bm"B`eU\O+_Z &]1LID)p/ d pC$gkgBHþ (clxbu@+Vfg9(B @fSPb cu @A?ZKeN$I)V|&dGhMHJj+o (=]#[^C'$0A J t?BsU_bs.ghגFs(H.'i3>RFQÔv7tj2S o6|}<>:y '$Eh) } ÄAiv&hўaCuUX?2| jИgYZ11cf04dbc4e453a1d7b6eeabedbc93d7a114229f 26f9f8d98728686a072e94f3597fedc44d57fe6f 42949db6ca1e816bbd53202dcffa7c9052e84a7a 603daa2ce7c00f846f9df310230d109e1be4163d 61d06369eccb52a4259b413e79abc18a1fe9a627 62efc8c92194064df890c6d90401fa344e8ab14d 7d36273a2e584d94d3160c8724cc6dee071b4ae7 852c4b663a8d439dbafab771fff6222b134f0cbe 861b5b0630fc19dfc3f05345c4c7df6022f02538 a9b4bb4f25cdebd3a414662083538a45c2f992aa c8ea7fefc523c5654c6bf3e85023068785e0870b ce168f5c6ec1725149cd64ec4a6feca6f681f8b8 d727d6d1c97d3ff7f87a3232b7c85a7de66d2eb8 dfbf5e85b25f60fd2b47ca8ca254aa7ead91b1bb e16dd81c25115952353dc50e98ef8842c8109688 ea07fbeffcb1368ab04358e4a6792a15022e958f f7d7695b21718df39e8a80a5c0e149dd8fdcff3e ff1a6675108656a7790a35d3dee6aa8137c126c3b9e4cad54624ad835a14cb92fdf2da43457b5cfe 0c8d5da11ffcf561ab033c36ec59459b7d4f6e36 38349052e83ff33385194117f1d07efbf777c0cee882ca01d60f216c0143c477d237ef1efc0e7486 ' HOLCF-Library