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 3 ,4< ]/]HOLCF:threads=6elapsed=12.943cpu=37.080gc=1.880factor=2.867zXZִF! X]ŗXf1-q恈͐7ӺV ༂Mb0v9?cGڿvQы!&5+` 8pu'6^x?+:W~%`t7s kj=D.hz嫹bar\@?n0VPmdѣRa<#R9GhB j>xu91]*VwؔЂǾIm$Prj@sQMÆF0m!lja;cĘf)DEk'>\VYsM|N_N#eX5 _2ʐzDLP1C FEKkc-V c9}^Ǟ]^d/uJs ߙ &)"TdtP3W\BT")<$ i@Ҳ+G0.4DN7WWQ Eב]ރQurxfC3^>|no,r6`urֳJVk_'c8Nqް/QָYeUw] Fޘc7 Wp~kj(/lɇ.Kz/9S1mVB/ZSc$è.gYZ7zXZִF! S]ŗXiɟ>Ӈɇ9S2]ͩSwzL(0,y􂏎]1 r[qQ"}_ 9y;:͍OaU u߈?d)G\1%w1})@Zٚ$!qIE 0߶yf+k@{/AYgg ̝~7m3YOF<l˩TV꫟EaVc.ANaૠw…p)Oε(ʋR+-o- b%CXgc (~OT-*e+ZO;Y (-ڰ]5X"tPUPσD;؞b7nJ;Tt{nn`s9pkyiBLM@Һ@ž}[3cojgZbio6e=wDFlw|it QDE#Qj>D$8\~ozԉ L'C#Ԫ9 6.2 _ \c1и?CQlMxUO}/YʐQ_{JHPei^ut]pSxƠ楱gYZ7zXZִF! =kU]ŗXi%6_#艍:_ܼHh ,JKnНxv3I?ǡ|vOOj΅ׇ[m-QZz4&4KCz]z&Sd{Ȼ٨`*y)+}y3ӛv/AYGTO\WGxqTͲBb!{%VrAdPCQ䯛(_ĭ@NoP$>,%~gϙ#F`M@0D&'=Lkͱܣyxkcd9޷Zu^n4VVKT5 ?CHNtb(mLJqq~Z:ah rvIvUQ; 80/_:^T}iUC&VӸ>Yf5BJbc 0'NdLfl-Z( Á$x_d) YkDVac]J-e>fb+ۻ8iIV~5؆қl1Io<9܊܋eh2<>Giv3q筤OTnyWXkM%G]ĺOg8"{iht~nFCIzF$gYZecb18b3b69c580757082f51021fd5bed6aa99a0671ff5a8bbdfc43c9b0b231f02646a3d44e6e9566 29613e1ba570ce5d15b2350e88ce8def22fab79d6497dc53e1e9fc2f82c4430d447de841d7716270  HOLCF