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  j|lt ]/ FOL-ex:threads=2elapsed=5.825cpu=8.156gc=0.208factor=1.407zXZִF!  ]ŗXf1-)<=IOΪB@G8kPB qj[z%bc՚L,n͑:b7yatbÕW瞐##?\ex,vWk815d&ݡl0%g ֆԲEYwyclՋᲟ#cw_[ձgYZ7zXZִF! /]ŗXiɟ1 UtjL+S ^,ŻLip&_!eD[9Z%H!@Al{`B 'ٝS*SG; >gd\L^#󄍅߸6~o,TbDLSnln϶vй b_yx{)d{l>yxg_D]98J% @ 7e+!Gpvҷ;o]Z9?5ྡྷf*,X: Yo?f$0 dP h 6gYZ7zXZִF! ,]ŗXi%;c>E$9sېmh5(9\"[oc?u~zF+2X/O*WSIgl#RWOq:6OLPb7sGrűÿ^PncXus5;enybߛj!NgCLm,+=:܅gens_I v- c%a#8gghJc:c̀XHחKAm7~a/7^:.B{w(2 i?AP3$HWMO,)6FW gf x2pUNJ@EvDbv@h:a{!fw*@џ`:ɫ4Ͻ_NAĀĤC $^ |9)֟Qߟ`KM.~V =T,6V䳔^Ɩ;YnC\Ɇ߿eTρj~WN? 7V%b؞?&I?m@3?(l`:0"[-{xCPGnR8>9S:u؄\JtpuT%$'nL)kAa[&m(7(96na -7GkKT53H U%OL5WJ=s2ں+9/..<`}o&CN.wbN3R{Q!%aYرgYZd6a028b61fa46ad86bc4d3b8a55a4013fd66810162b89b746f265b39aa07d30f95ec0c87cdd2cef6 636bcdbd1db61da255a0a2756c0e5d0d0f3df598   FOL-ex