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 bb <, ]/]HOLCF:threads=6elapsed=11.840cpu=34.888gc=1.872factor=2.957zXZִF! ]ŗXf1-q恈͐7ӺV ༂Mb0v9?cGڿvQы!&5+` 8pu'6^b ~1ϩŸ8e 0)-)HQkb ewl{Ro`X-& .Mo\jtC,f_%)H.UN/ ;v&fq^%@}姱i~+/B8E&j2L.cQ ,̜bQL{( xܶE&3V0/5&Ȋjb6a/f*\E=I虈l Hqn/pK\+r5N->Kxz.T8r!WgYZ7zXZִF! O]ŗXiɟ>Ӈɇ9S2]ʅJq]EL!b\s9'0ٳPYx'T`B o'5ejZ W%eBBO"E}Ex|/FP3a֬-̦+'"`Ա"C?| 8:sϺyZD̢s!jM|-E)N# TͼB,#%=~~T Af p+oXOG^t|?#18DhJe_ G5s  JўŒ:LrNm`H(Y p2CuPIwlñd.\] F n*&5o5V`dڕY3w6A/a)bs"BOcV'"t.]je~vTXlI{L&_-t" 3*]~ˋzGrs;ݙ– hEFyz?yoNzN8kGoa{k2 K58q)rʥ<w>gYZ7zXZִF! 8]ŗXi%9,{yL'H78,V2NJ e0"-U1 Bvǿx"oXHwuYgqF$o(W*CxFvn?6jةoX*APgKQq.+xu{; ^Q^F *h y_FaSmݎbfT҅|F[Z1sa/-H ޴l%y@/t9-x9nOseCm#)|N[P>{S.l9$($)ZB;#˪ƏۃЕx2Q#n# {$1 CIҗi+vvE¡v~=8C}*Պ  YA{yQs XҧnLw J#Q'j_&$OChhPYzM0:R fV #K1~}4P )hU0ꙶ0 8RA( cNA{~:mEZ`X%#< ^<"Oc{LW&VqIY|} Gi"~vɸ&P)w \銜rK^Qv}ĪYS ) [-p Yrqi~k$þʌҊL5i|MdX<tj= UŢ%AVe.LċD"=b!^Ll.ڹck_Fl]onfbal"Al>۩'JH6X2wdN05q.`]%-cgE1ox4جh徺;E<"L0Y Te,"GqU8бgYZe5013e6da724644e501b98fdb1a5662b442c2d73f6449ef5e9bc96dd5096a5a71dae4e1ccaaa800e 3b15936e361c4485de36e5ecf4f1f2e8f445e71b8659412da93469b662ed810cbde45ca7ae9af3bc  HOLCF