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 ^C t4 ] Boolean_Expression_Checkers:threads=4elapsed=14.935cpu=27.092gc=1.280factor=1.817zXZִF! g2]ŗXf[&]M̈vׅ0%_[vgص5WcRh0(`i*}%#_bvaԡcoq)nv,փc'XGBf^`7kўW eccukx53w2Ze~^"S}aH;ace G(bmq;®="Ct @`חfPK6[?ywd_佶R^Nwo]]٭%SON;j"6p uw3LI5'K ꟤,J qXOnP+mSWI@O/?wO˴Fs)4xg[ˌ I}#cOwL]ћs< ꫌Dp)%zqEl^ 1*:n4]!ᬭ+Ԭhpdn|0vAG;=_isQ_ >:O>-]\&X:qLO-iSo4r1iGi't*mILk-`6h_=NbpϐPq < 6d@p+.vn3h$cg^> W䨧Ah,$H 2r̲.+_*]#h1X K-9J%*5Izm愑j4il7`8*\; Ɨ֦es\'!`m|r=%2tsVw+Q@6ES dX_FyYztUSEc߳%5 ^ScZWqJy\W[:_Ii+Yp?\)n;7y ?Er7ēyjoX4˲8%qhGW:~o3i uȲbZiT.iK~b+LTFwgʥNa;m/ 4h՘/T儔׺XM7^KxI&{27|˄HHC+KQlvX(l4^U)xm<#B):'S$֍FUx#T{XtEK([z)"}5{A/ ) s {yqQz8>q13pY9:9#No+=VQMBjɖ$kIUDFHoJq+C3+Ln]Uq:3:\6ۅ ݗn9ruv( Cob†AOY)ki R[L C0hwh@c#uӱ_y:)BڕgS_6<Cys̽{,k*8t x(K n{ǴY&VVB)t^EWT(B% rVss]cK ^̕A"a`nu`6~[(6R +}(-q$\S{ DW-sDU3tCo>Us}9|z2؆ ; gYZad4591ae99bdb1fe0e74102201961af0beadc92cddbcbc2a51857ae6e2c35d0f0dfda0600638ccc2 961d7cfc19b96122dabf28304bf6dc45da32abbe efadd5e2415b70a835a36820e6157751d92cd168 C Boolean_Expression_Checkers