SQLite format 3@ . YYQ77Atableisabelle_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, "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 CA L4 S Regex_Equivalence_Examples:threads=2elapsed=13.565cpu=26.320gc=2.864factor=1.947zXZִF! B]ŗXf1-/6vR[O y[.ѹ3XCMS=R]3E1@'θ0y E9,(5rجgeX+Z-ƣz&3d(wʿJGXЎ,H]!rXtV}Ub@; $X9~"LA:" '?b`vGMjԐ1_N*F㵴ݸ{%yO?XbEo ׉LUĮhw,#A[ӞR.'gYZ7zXZִF! :]ŗXi%6{BitQ[Km?gRKbO#&z qL8֫`R;ZD2tY3v23r*RR&kl*m+"`g4'-q}G3cL]XFgR"cq-"yC:{0/AɷS̲.C$At`Og}˂?זH<&u ~V~BV(/lKڹM.D[#`"iMMURc:qAeH+DaV瘞L.$$$:R7 %βٻwș=8ˉ`N%E/iKEo|=Vx Zs93}/\/+HN 4Qe$Cye5ZftDŽlAXr'95]?A6 %>îk>_ S.GHFBT +t4s9)wx_|`m-_s> &:1>pXP"pebdUU{Rc !(&Kv.}a-c7:9տ93@1|g|pSQ^ܪ3lXa%z*V- [ƪj -߳:v wesS4KB('OHtJ?I