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 gg L| ]/]HOL-Word:threads=2elapsed=25.109cpu=47.928gc=1.992factor=1.917zXZִF! ]ŗXf1-q恈͐7ӺV /K!W8DNKY>OjxiKGnC)p?y՟"XƚZ.{if&P]2iEW1%_#0x5leKb3v{A_-~g|%:bu9V)GV(OQ7 r&U2,>{͇Q7}(Bwu$fzJnE!dt@ZJ&7*}4k !34R0hpz7{BsTNŏb62:AW>mO~ɐEU!b+ا+&(r ~6=ia^э19Y hq S(p[%hxҀÙd^̥w5* plONlFr4C&}30d3o~v ng9~ gш9&Dj'ؐ ,gXοډm(W(f<T]d~.R@qf~X鄽b\UO,1 L>I|s}zVyR2H=E]!(Fi俳J'%e 33gYZ7zXZִF! B6]ŗXi%Ws;1G];vsUluXA7V(NoQ.х9Df_Gׂ,1iKe'{:Ǿ<Îsvב\GT,xU ' |Ǣc53Qp>=9ozݫRRCrac5rAvKu `NnYsD<|GPcO~M7=0o%/RV2`n9>6uRLAga(sP2#MCen_*jI>`VΩ7kW}cv ՘683yzŅ 7qAA̋SRi$Wv}K{regr*񷘿ʂ/6~;AeWǢ>4.Hϣ}Ea1U, _O#,64uտ/WfB9~ 6YZuSz L9+ uG!Vv~$1xP·1,N|O!~ j ,eЭ_wG%(4SG w;45tA/UGW `jS lm!?Ѐ _ptkGbF!nr 8VO5u"wK?6urWFc9qSJWO#6I|N9T7UȐo0%[-R: k=bT[gөrz)NFc 3 OsTZ!O`CHQcPg`Q}HBY5"dνK2~ !V 7DaA¿_+A&| )C7A%K x}JjOyD8'")V P̼5<ӔlQ|q͟9cS1;wFܥ0'/q9;R=>?Mh35P,ʨM`Wv*PD3.L᫕ew 3T8DryƵgܜTuh[C'$?r1.3ߠ@,l)fpF;{ÚمgYZ70c629b4704592efc5ffd5697cedb32388442e02d6ac031d3e88d65563eac5f02a097b7a1de9a7e3 ffd3c2f455ccf76046f1a522696b8fe123ec936e83fb94112cc92a6a351db59fef5899effbae587f   HOL-Word