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|dl ]/ FOL-ex:threads=2elapsed=5.417cpu=7.628gc=0.188factor=1.417zXZִF!  ]ŗXf1-)<=IOΪB@G8kPB qj[z%bc՚L,nͬ:b7yan= 4<6&?$~~a;A6iSv|ᨍz{SP[E g!8dYO./ë,|by>{SgYZ7zXZִF! *]ŗXiɟ1 UtjL+S ^,&F>D$;wҷ}3l,CTӔLe `χ=}&59"5{ znε#knutOL9n//*mgmNL8AjzP^O{L#"us>nꁡ,r4M*dΫ:d7!\Vx)FfߚBH4X,]`Sق<^C7ls\Hh{{K bŽxӂqxT=Z@H2BXL+W @d gYZ7zXZִF! ,{]ŗXi%;Ű;xhryf4"M߬9i^:X88UXc`Ul(.Ѯ.T:h1Ԙ@5=JVlMHst[qpg-gR TEH y3i.. :Eej=gVh !A9iz ώ*.7\7[Pq2Ubz :xyx"~qҴS([Pc>JNlS&"!Q2 w#)^]sPr_]Y%`uLu.PYXgk 5(jBa8zZ/QcQyvBKqug0E>lM45ehmck+z43f-3 0m9` HFZ`CDzm34"yn01<3BM`w~>\0F(xb5k 'd KdW7-~4Q`*j@ahԽ0uV~ͬh:C ^!f "jXE˼h_OwY<-$6ri=Bƾ:Mc%;f ^ك@܆ʊ4D1l>+,pP9;MLTk26,ǔ1K}%H~z7 ddXz۱gYZd6a028b61fa46ad86bc4d3b8a55a4013fd668101daf53072a7b7da07dacaeec0891eaa6642c159c2 c2ff823ee3219c7c40be3784678bfc55daf2f3f4   FOL-ex