SQLite format 3@ .;  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "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 ##ZC d< ] Boolean_Expression_Checkers:threads=4elapsed=14.439cpu=26.824gc=1.424factor=1.867zXZִF! g,]ŗXf[&]M̈vׅ0%_[vgص5WcRh0(`i*}%#_bv`pqo{K9$#Yw67ALo2]0QܬmDn۱DuC4 $k#5lOVXx!]`^$LvR;2|2NJR~s'x &"fCnғ7ݬU|YZR,yw8#,P6J)Pw; A]\HDGHgYZ7zXZִF! P]ŗXiɟ$@u$lA{HAu aCԄ+F=7|AAܟ~";x& <@VFhuYpy6uQ5ܚQ+b՞^}u곗}IɈWL CMG7gYZ7zXZִF! cW]ŗXi%I-x\X.6bʑ3J#lz)T4yΊ3g PjAwNԋ4=l-ZX cig^V+dlKt8L`>{h;Im9Gu\<$<=>G|!h(O#~@km4[>d jB"-B_}z=,R5`bߝrp2RB%n6} m< Sx3U L ޙǂs(}X oϏ$;2e MGsEv>Bj_!u`6?(&0g҆4V<7|J|@!rJ6M| $~8ìuű%kAOz;mHIW.cQ{o9EWr2DUXnt /#=dIGl`QqveFmD\ 1L@8>ȕ̯'[O]nEǒRb0 s6o'tsBA#h^!W <5 5b%9oB'BQ17]i~@Rͣ#imVC9AZ-uᲡ]Hu-S" kQ̼B{$=_[2p x(#Hp\cwikXE-_g5\b$?()*ƊY|, ^3966oEU m֒/pIjΎjkek2)Aw0Y#cL'! 4Rsqmn۝i1>[@BEHu7V,EH8t)mIa#f3! ([P;$u䥡&7}^w&x@WA,gꓝ-s⦊r]"攕e xЈ7H DgYZ9c5417ed6adef27742c9e56f21099b39a31674695a3b6f7b3e61510e7fd7048ff8c15610e20e90db 0ac4d6ede50c29eb6b6ec1e8376256e11b1d6a22 ad1ba3f00ef68917282fd2edc8c084d3c50a4da0 C Boolean_Expression_Checkers