SQLite format 3@ .0:  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 SS*C \d ] Boolean_Expression_Checkers:threads=4elapsed=14.838cpu=27.780gc=1.480factor=1.877zXZִF! ']ŗXf[&]M̈vׅ0%_[vgص5WcRh0(`i*}%#_bvRiEYHjC%uv{T4wAg-M$)6ɐ&c!֪"˺g?\: =N}I Ǫ<%4kj=%'$Z.U]:PuYm-=P|*5/V- P:Ҭ„Is.wNz6kt XTǮXpN7|TKbgYZ7zXZִF! P]ŗXiɟ$@u$lA{HAu aCԄ+F=5v2a*foYz?]ͪ*9q%*[o9NeqIEBV3<2@ -ur,gYZ7zXZִF! c+]ŗXi%Bt0{`;5z10Tw.P`Sm ~,e:p1k0sOGC!J3"-*6ܛ)i&&_gL1 ZH F}^;]v5 U׃YoEfWO"$=H"R`ٖQt7ȁɪFPq s "2$EXfүhnOv#)Z˷hmST!WH{ TqBDg `쫫5FW ,}/ Op>ߌA7(*I+ԔgB!KR*a[{$}0'u<(3,St#F>yBʣƷ d;_C(PC1:_#(C@kc!]p>f CW`a6Ɩ]L~ Sқa삯j2GQOek#ċ?(g֎#:s"& ( ܍ zq m> G`ΗAlJ4&Wӓz+<4T%7MWUxO E.V:Ysd澁vyM~SgC݀QK !\YoeB{YZUU%^'07"6VMLDYG}&b }^Ia9̽6?LWÜ0C=E.ʆ?GFv kBR[=n-c~ÇXe/}_Ekk&Q||qCD;mdb,+$RfiK),vݬ>NVU</MpMw: %b&~>bȏ3gөTZ+M( z(,$Iv&Og*0aFؓAagBe`(]_0a Ա h8AgYZ459d17df7557177fa621f1c739c336bc32593cddddbcbc2a51857ae6e2c35d0f0dfda0600638ccc2 0cf10e45680ae439599dd1e4a9dcfc11cbb36022 2379426be7a8c61e771f9e01a38b6b2acacdabc6 C Boolean_Expression_Checkers