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  c c \T ]/ FOL-ex:threads=2elapsed=6.402cpu=9.060gc=0.236factor=1.427zXZִF! w]ŗXf1-)<=IOΪB@G8kPB qj[z%bc՚L$;W"꫙SyCNu_O^geI%b,qA5l,o eEǓ7/B M<5KP!=@a'caߣ/&ߏgYZ7zXZִF! ']ŗXiɟ1 UtjL+S ^-cfkv wc?r$QǀAtAH{_m yYx!iT;CJkP1)Le#9!א9X*|"4yde7DQTXx5n}BB ?̱JdoXjG?Z%惘7tf,j7i&LY!*b#MUmE+p\T0:'9Vߙ8\g#/P$zYSaٕԧ `/4M䓳g-HĽs>};p)JI7HbBO8U . ~@Wp_u4ƃm;G5֝$M(.d  ܴw SUݫ: l@NK\)lYd@@DXf-B9? meF7{'Qn5Oh 3qӃ{ڈ{}H\5lM xۙRXLfsHc!yv?qUm_yqLw¾.nWX-u$ R4)h}H&iI/O@,Gpcm$ D:d1 -z e/Y>}'LM̀Zf/ 4/GJE}coAAua=)JŔ b?`'op Mz&Aڿ'3>g xyTFȷ*4M {@puPU cb3Ia krQyʤՍ5GІBVc$ῧܧlhST?Fy,J8]xYj.1A񨐎+^3j$oǟi>Q,cZJ"mjUi`6f)Jj[6Pv@@ ?n~c1$q@'d6OgYZ161a9e6bfa8265eaae11f779ac3f4c5202363d1782ea62db878002abe1f561b243b2cfa9fc698016 938838fc6b3f45b6240da77d9b5f071114ad247d   FOL-ex