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 66G T4< ]/]HOLCF:threads=6elapsed=12.014cpu=35.040gc=1.860factor=2.927zXZִF! ]ŗXf1-q恈͐7ӺV ༂Mb0v9?cGڿvQы!&5+` 8pu'6] "[##N_8/cQ>+?l{oRmjfa 36v7Mi#C#ߖ80 !Of8FwCp #|[dν.(‘@C\rCƠĝvOlP PWVYP5'Ԙ'bdاA_/H61¹kRuF3\aAlTXC !3B+ُ!gYZ7zXZִF! R]ŗXiɟ>Ӈɇ9S2]ʂu#6EBj!_~<È)gu*MS }H XZF<:L8\0M"3b2ܲȭ=O9*-[wr"0h.)DEkƖwd ^"hy)H #YVD/>OYpU5F'<^JL!$(FCB_`.3mNeKMеOp#+Q&wVKK)a o$9id?`Kl^=RG)ВaE1ॾ_~d&Ab^C\w>::ώ}r)=LV *Q N1DlftP% PT0v_+~==K~Ғ5/=W~ϳKp| +DDm3MiJ&rl9f=G޲cQ^ִK"I678&{rF VpϲwOwF (j]XF;z43v-wTA-/e,up7v>csngYZ7zXZִF! 8]ŗXi%9#B-hf{w_SRne/-Fk\Հ ~56Cca"LFn@;=`i}eѷ}@Y"Z)`&XKZ wR`?Nl֞d.i_K=86Ucj%']FQ`l~0goʰWD#-Mt%-K;bq POi G]vKqPu)!MoUx_?6W]#uHOu&QUׂȟ\M$tB#U&s[) T>*lƪ鏄a_=iXU D=]ʕ7ƫ8@rADU?4*Pվ0`Qe#, ͽw -l .q}р?X}t4h<*m?wڹU0p Ż=Duy5{[}p-6#CN%|bAR.|Y @+(19!=?)l89}|O! Tz5Sam6ɘʼnnrLn/  +?f{L]YI‰|'@l+СJk48;[IK Xx"޶Xrʇq]q'B5^C<ԆHۊ?VVsfMxݝ~82VMQB0{_TKҋ&J _ր㥪|P@=%'Q+dr4@*- h:ˡ"Ħy6짒Ze0WVv?Ibʨ҇ G'9 ܘF^#X tj#i%bж9Zȵ.P$Ud〠JzEaY6@T7fnܢr9V Zz#lO j%QnМ0eIUvSqϱgYZc98847fab3ce327d8c3cac2e9b4b36e63ec6bd563ea58d54a136a485954265ca6aee1aca00e66e9c a213deeff6e0f4dff740f020010b2ce9d72c57bcc7b28ee40a8409ac8939e7c0ca4ebb70f60073e7  HOLCF