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 f  $ ]S IOA:threads=6elapsed=7.614cpu=31.312gc=0.972factor=4.117zXZִF! X]ŗXf1-qN50^Xݾ V'褃)*%\i` ,;K   R]Dz4l=.WiSO98bC. d3,BoYVD;፰SVu-ON )3QFYj SD8[GU&OE'x.:~$֞j0F}HTtAS"H/+4;js<~>۴)5هԛǧQ PzQ-W{ao+F'a?8WFꩋ-7 գm՟X34]y4& ʟN 8\[gYZ7zXZִF! %]ŗXi%6ƧƜ j]}D畄B[F>LY=); e>Z*G|p7y&[Wkf+{OJp0@}l$=be|2Q> ~9C} :t G¬lǙ*g)OTN9 ^u`FmIC7Xq! `Yd=jdQD NcX|2^%9"(Lr)[u\˛ =~xKƧV䥰i{`Y&]c #jVB(8Ƥ=֦ͽh6`h16z68oswʾak>/{8akp%="pi0u6Hv|r|Β$< 'W'DNƄHhʯ~U#SZqߠ(@nq ZOq)4_N; O^ %:f ,Bi'$tKaǨcvbxY\5ԯ 2hx3(0E;M-6Z"REb{,Bc"ڈ&G\ =xD 7^a}Nġ5u PuZxw %Q-gmxfL /)ހ!E8RYo߷C >F&TX`GQI +Iygt.4yЪn.ՁidovCQ K#gZ/JMgp [ڎk!1\XLUml_Tm0(0˽D <0N4ރ0*Nj>P툽&KgYZf8e0a0e35c3e1bac783cbcb148f6fa79286e4d560f50a8fd984ed9a922d06f59b224a37ab44e72f2 fd8ab938506a6adef84d05e82b2423fed153db7b c628637a3499d28ce3d263cb68d7f9d43c04ca92 0e624780976faa0f32a31493561f5d2790d0886b  IOA