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 G $,t ]/]HOLCF:threads=2elapsed=19.185cpu=37.608gc=2.272factor=1.967zXZִF! V]ŗXf1-q恈͐7ӺV w;GOy:Cir8% NVKh^̐n>VA:=)&OpD=fsc/J,VXQ=KDa/+buȘzvwCW>^' 0#0,%5Q){= .*ȦffD]ᨎ,٨B Jsk v|nmt]TH@`s̡ޤA&Fv.`^\ҏ@ &;SiU9 b25RAe9W LLX[#2(01'];tt]Iűs˽ &[5x-ʖ^uF׬3%%mZ?K]{/2|~:OVs5pu^b8<3V!%MAi pэX׵Av?qfд/ ˙^r+*瘒nF}ݨ)GpW )L28׍2gLQYD+ iGU8iɮV^qVMGWJH0e` 鹶NSs³5Fj1v Xppy}V1Y-ږ׏Z/RG xv ;eCsgYZ7zXZִF! lSs]ŗXi%9*WCG_.^;/M:`et\ =n)o3`qhND[UkL)pl-inb՜\ʼn'%h覡щq._i7+rUTo`q־G;:";2ZQLIӒu]$T|8x9(BzI"^IA8y]ZӥRH,w!K7MN[781p2|<3$ais(!-:;-ʮWi 7kD bT>CمF'Λ"qwHiJM] W&Pv?:q/HT@_j7Si%[Ob& 4P-{H; \/ a`T1 fМtO_ؠT=XPꂬ5겾>}#;Jq=N&ѻZly >Ew<+aH"^O']Wh|e*A T0DezV_惖a`P =8xm;D(샋[NlL (^QŅ6!Y˃.>ÛV̀ Ţ \¡ǨJj,_ңVNrc7'! aiLNY (fh!˪5H kmWYy.oAW',L> f`^oԺ)FHKԳ[7J[:*a&Zf| CM |:1i4z+)"$NSj^&=gJ%;irYp@↗*n~WŜ.'>bY&᭞z}p c?Aa;P<T I;D)d SZX&|Z_t͛f`10/}g7_֪XsH<; Z`].{U뼎we׀akE %z3 8hgYZ513aa6d703b78f2d55d0697fcc019f61e4d71381b5c424772a2a5b40f2f68f25414695f3cd309066 4421303c0db3669d059ce12e56ab74b4697966f27b39dc942c0d4779ec4458b7e66d3d6dc451b4e0  HOLCF