SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_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  K K2tl ]/ FOL-ex:threads=2elapsed=6.170cpu=8.680gc=0.236factor=1.417zXZִF!  ]ŗXf1-)<=IOΪB@G8kPB qj[z%bc՚L$%W&ZN$ga\Z ^}?6r1iR:Q`_ |/4,UCgʴlp^saȉkP 6H}5Kg&.7BVSM 'c)Owb/>d啞%9. ,a"ItE /omMY|˿ζb"F>H(@˻.]$xvy']}{\FS|ڪɐ%"ܟ@Cη3idQwnw:k߄Y+03l:x앣 t]DU}O5]bfڗc&ͳS}Lm:=ڂd-p"0%;R% 1Pvlt1ȖT=ҋXf2 gUǣi OE^{ᓀ_&2HPJw^zd߿]Q: w3NAX-;dX؂X@{Mh32q~)Yj8(D`#̜@*^K $VXZȁej\_zgP}%[gpEgzfdtopx!ᗱ.vk8 @wN`!/X཈nxmQ!`dpgYZ3c2a7ae6b4735d5115b1151aeecc5d014483972019126f922e3aa9c20f5a31237f68a37a6d2cdfb1 a0e3abfdfa166b9eaade7af9826874b74cf73473   FOL-ex