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  b d\ ]/ FOL-ex:threads=2elapsed=6.147cpu=8.716gc=0.200factor=1.427zXZִF! w]ŗXf1-)<=IOΪB@G8kPB qj[z%bc՚L,nͬ:b7ya#)uS~# sJ_bv3*UO ]إWvVcJޟq s?-q,++Cj%w A߱gYZ7zXZִF! *]ŗXiɟ1 UtjL+S ^- ~vԷ~qٮ[´!P9nM6!qzasq* gYZ7zXZִF! ']ŗXi%9(R ^伢~a֬ 2-%k(g튥 #K24! 8{"Ӄ؂j__^cfa !;JQK#xCk+DmH2HM& q ?YrLw bԿW]"pΟ)p{]+qXלBBS8G޴˧4V@.&Oh#q 6/" <3{q?^1t\:ơ%yyX_ dA}3Ѽ\wB>ȂQZW,"P#ٴS5+^FǮ47|_I \r,<.x,OݛgYZc507a4f5d11188153092a8d3226f357e33ed2f3df24b23d736d58b1fe016b056b4dfd4a4dd6aaa09 a0dd471fb7f2358dde2847e227c5b64bd974542e   FOL-ex