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 a1 d ]]Abstract-Rewriting:threads=2elapsed=34.926cpu=58.896gc=3.392factor=1.697zXZִF! ]ŗXf1-/6vRZ\vW>_x͒f>,Z s*xǐ'`aٳhGn4SkY`HM"G{MUe0G2SeStVK/1Pօ*3MLL ;t,ZwmX@73!7se 3=˟ ĺ'z#>#3'{ "-8b$z]*B@"ZtׄB꽥]`ߡ+֪|J ,FwZV(Ĥ9:Hb5SmaT6ێ..'ċ$$Q]j7UR ,L8'ltL ܃9yTFwܾ@Ь6q/nM ؇0v dVgo G}nQ7vǒLQWoVer5pK\!}]1;J&\t2.VpDrnLʥ1YFs/J:Ssl9jt픤٢9oU@0$zdYΐOFWYv17S[Ȣ%e]DTTPo4 절%r_,4A&4#Ց_gYZ7zXZִF! d]ŗXi%;#w}7ĺ_!CbdBd+Ij MRNE B8X$B{hRri/\)ǣB3vt͌rhFTMЀ"&R;.Mp UZ RRṗ/i΄ ?%d;Ezd$9b C; jDy9cNJ^t{ܻN3F;1m݈V|O*I}U 2T!/"xg;zN 5Wsx:ɾs[s|Ɩ Xa,! }Da]Hp%Ѽ6jF\76vA<_c!ig̿-RMIƟk" b漾ނl@S}NϪe?۸j #gi'EE*Vo#s_)"Zŵbb3-=~yhd3&0 K?^ J=0 {*<2kPʢpr]L;\J˥ GW{q r<#^]vFbG8r O_oҪsHVFUW/4]ct>.M.ɕZemePGj=fA|tۮ\ob<V- RM :!Wh5] % A%pUÍ!CC/Ϝw9sFߝjHI+|ylVɓ+g3VP;+ GqofZk>5'c<&|tf{]w; }G L~'0vkwA=8r4;a3t;\5v$'sMM،Go¾L`>Ak\(؞@3KP̌~بE׳bK`A67g6]Kn~OU&&ۯ#yJ>#Ip9χͰ vdݑH)(1dW55kwVƧVRk]"&LF' i$>̗D*]Ѓ nNTN0tajgϖ B]׍_'90&Ɓ *.T%a1qiNan zo53maRD`I*DlѱZH;jQ?12,W{>0Rn `