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 aa3 |\L ]/ MonoBoolTranAlgebra:threads=2elapsed=8.705cpu=13.844gc=0.700factor=1.597zXZִF! v]ŗXf1-/6vRZ"P*nI16iT"'?Rz"=.ۺ .!j[Q9Vf GH}.RƜ0x~Z,%H@#饖^ɚ?M婇vbmYþw- Xq2{X`/IJ]9ߝON.q7PG Hۄ.= GE[)Mi@mcKqZf^Xm-}wkӇ Ex21ԢŀvjGk;u'Adw"V仁O<rY4oL=ԼE3+ ݖƩN rI0sZ9* cgYZ7zXZִF! j]ŗXiɟjg*Cp a:~- ;t0JTg L.]-0֩O 需Md6+ν%4u[o:2 RoÏCFj]UM<ȝ*ʁJ)R譿:yD*fg$#4Liq&h G5vOPFaQPem^@T9eP" UfO!:gYZ7zXZִF! 8,]ŗXi%92M!xcWdǍMpeaN'= 48Gm$E5tk.[u6WɓƺA(௲J[oZ\NVu =`Z٣7cT(R̽sB fP oMĝ%A/"]9X/";'6}t"j +ֳod,Ҭw?F綠4Pdo3) RI=B/tXD.,"zA:]/33A"s5 cwBbq(; \=%'!zgoo}Ra 1Tn2ge7Η[@xĪ212f>,¥mZZuj|>2k?0?׆ٶYsNhUb"P=㋏""o Mo&tqVzf=ע |Lq3uҢ8m?\%Egu\4 !_$v.8.l륜L}3AAT{AD!Z8x-*:0q ((z!DmX^frN^#8|R"?- E 8S/ JhyZ;fWk} Vy`9d [=oFH