SQLite format 3@ - llB77#tableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "ml_statistics" BLOB, "task_statistics" 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 P% , %/ FOL_Harrison:threads=2elapsed=11.174cpu=18.652gc=0.564factor=1.677zXZִF! #E]ŗXf1-q恈͐7ӺV #`91knTyڧ%kh ^F+k7O..n=]Q$t!Gҽ<0-kRO5F"zh_Nœ]^6CGK)MzIp9"t?.-@|;7F-tj1jkXw 1^C~= % FOL_Harrisonc_b yrؑ:> .,qZqRrlCvxY\&o#wI8ޞP4:%_9ؐɐӖc=o=.+_+Y.wD"u_bf!q@TD.1UHcq<N,vIY:ܑ]4eqkUW7Y ?˓%h:KR6GHH{HE^mR͠+Ptl;nQ]F:"m"rHq޷\ 5Y; @ZV} *^ j%@l#( [d=*Vzh4_tC`Ċi$M hrK~[[ސu ~Jcޖ'J-wlC@hq66\aH,"ڿ˽;v R =h?sq&r  aI={bµ~Ӫ9 dGl;߇1!OO]ܿd]CT*Ofey)TbG %b>ЇfM"Qw;2wK埼[iH&/n,8qGT4D#*a_/l=vCީ!n 1]\pm5~V$]-fR!曧;g41w1Dk@ש6$|K[/8sw_SM$ٜ,Jk=Mȝ;A~8ړ0o1֯$ 笿Wsp tVz_RL #wsnFOEme^)G`&4@ΪCh.ZV/"O C5d;R TW):1Kl c7ӓ!#1dAHZVnėkPG8)Wa騑ߕ!ab86lĭVy'UK@9j\ u3{6B3yX.gYZ2416511848c69b845f7c8a4ec82eefea0fd138c9 31755525071793d62f6b61cf93fb27d5793a7c4e ba2574c6493c1ac6fb82c6ddf82a2e881a7827c8 daafd816af788235165bdb8cfd09c393597c7cd6 f0fce7eeae1ffa41a6f0691e21062958b47031ccc27a9b4598ca656eb9c36aba33ff1f22941d7b72 64354e2142aad138813a04882ec6c2904dd4a4d3