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 T' ,dl ]]HOLCF-Library:threads=2elapsed=16.573cpu=30.012gc=1.132factor=1.817zXZִF! JN]ŗXf1-q恈͐7ӺV 4{ŴH}UCkAFsHƞ!3i)Ksm8 %TA˰@?Wؒ3yW_'V^9j5/I}3ˀDuS[t`t^mG](`դu=הN i{+FDv?ty{Ev r3Ct’_\j|΄jy>GŦ Cga ߾3NN{QaR#r3ȻO(e }#7$RM)vZrNϲBם2FCzUڅRTZ.$菦TVְڳGg|{[L#>ȵQ #`OlU^ȝ: ~8nZrhpG 5Mv-}܉D%{9X&vk~HT y^A)27;gVYLǜh.}o#Dxn*rAyz5gYZ7zXZִF! 8j]ŗXiɟ>ӇuMwd\ͦl!Z{gLeS0zG](WIwD!#ںW){3q&S A =Uz̳R2s'Ky?s:qXod-щ+Q~H~TUե̕cys,æ')9R`gS~7aLпթ&&z5z OThTѰx04O!VbE*Rp4'V.iZ_7.&4,ӐAȪ|ʆPL0渂>q1r y %6&yD@'xeM)]JH@YVP̫CKVh*Ѝi{EPkK!Pnipt%g6u(& o]`a/SҰTo}yvQPxzF=@;nk?L$i?7d)۸Rn *\Y#L_eڟ  Dk$ U02|F_SiuiʿՙFTVSU9&L3:|T3>.s,9^ @ddA5-(!a %t~4) :|4{ݪl֑Ms'0HXoG\tUh f֪3X[d˄7u pgYZ6500b4a222709fb16b68d2619f606a7236f3db461f11aeb0b5cb58822b61789e97e7af2cf416f0f7 064d95192f7eed013868891c67a843698304438a ff48b9fc79616b356889523312f0990ba7f743431552d89efbb7582a4f63a8c0f7e4857d3b5a10dd ' HOLCF-Library