SQLite format 3@ . BBh77otableisabelle_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 FF7 $T, ]/]HOLCF:threads=6elapsed=14.715cpu=40.496gc=2.312factor=2.757zXZִF! P ]ŗXf1-q恈͐7ӺV w;GOy:Cir8% NVKh^̐n>Vj'4snl %UpT,sllBxXm Eg/b1iQ Or6ۡ YzXB?EC7i (ࣲdl77<p~uGX}!BG/|+u?ZoDLkO,"uWaI~?xn1LUY iT_>=͢V5:li >;_.;xPGKeÅeQFw  -dY&?&'kZjD1NaYy`$;jAC[-jG+CnP)| >8=I*JVdiOक़+:n<+Ž9UI:&G}zH_୉uJ^Gs"Y2CZkƅ 8QY2K'Rc1=d/ž2)}x%mthwlV>?aEd_ 3qd>yDԽ=yVvI~Mf0!OZlmK.]9&ⷵDP]= 6Wxm<|쐕(ɺgYZ7zXZִF! a]ŗXiɟ>Ӈɇ9S2]} u)3Tym#R ɄпPOk7E.ўn+TG+E0eHW1ҩO  y{Sf::Ȩn 03r6'd"ݿX_'=hLGOCDA}'PwdCSh%POFrӁplE<]$wJ]$xV♻06rjӚ0l30,)Rc&Blg) Ps%3]_0꫍fm_GPątW/+}uBhihf`o {ߔ_1goe/f >Օ&HtIl h/ޤfô! I##mb w`UdrIapf<@|M-@RRN>Tt~p{f._ܧET,f5WO axIvo>qP…]L\P/lG\#&1ZR>2 tG|b+z:oձ|3\XU̾i'R) ć^gYZe364f27fcbc9f4975fd7a4b742ca50935437d043ba9703b8d89941ffe014c15e6ddc671ed32d9999 100b23f10739ac1b172eccb60c813bc22e9bd494dbc1f17716b66f0a9573155f3b3131e12ba58c2f  HOLCF