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 2C t\ ] Boolean_Expression_Checkers:threads=4elapsed=16.195cpu=29.120gc=1.584factor=1.807zXZִF! g1]ŗXf[&]M̈vׅ0%_[vgص5WcRh0(`i*}%#_bv|Qeَm$}ȩ&̼A% t!qؽHJF<{(Źբ |jarp& _u@ev)gEV#ю>pcLdmFk =bq^a "e9 O*]X6;qpn< ݗgagoSâ;0/,%v8q=}C/m>L,gYZ7zXZִF! P]ŗXiɟ$@u$lA{HAu aCԄ+F=fE*]$&9R^_'oN4B5Te J v%(EZNc]fpv8w6(g@kԋQgYZ7zXZִF! lD]ŗXi%G>)T<@%˨}p9)KCJٶI֡=x,jyـCRd#m,վjuoqxx}࿃4罔7 ۂR[޳hc?Чi;"r)-čR@ Wp ij==T:)YQYxf7[zs-AxCtmOҶ!=J4Aض8EV ~.X"^ ~w^ 7&-_o?lIt*v`ajIѶjՙ7S{nD8wA( Ap0VR=>*e"0A "jbQ*0u=c!zW?9Pn uԷ5WvTL o(B؇! gPVr5t/Rngmu*n[\1^_[Y䅃 Fq;qK/뾮W *U.Cvj |7o1y7@>M"J샪ΕD|eE[܉LF3G^aU$hLyFH,JJ;hr6 =?K. *(FOѨ  w:L@r4f Zc^4aA|a])XZ_c-֝,7_13`VWn{Pr,kNZ|=X7._RWuh 5 C{SQ-.t)_1'&847#0)' N*l}XuHpR TB."tutw'mA|R(TĠ!c_"G-;dݼP6oxy6AL,09g" 8S16xQdH4VgkK;&/aQ Gi%Nm`}\9${/Ff*gH\vW|)+#د<ڝ]\;ؕ>Q4tԀ30#L-Dyh6i=;֪7\3e+F|窚W2,Kqr{^2N~$MJv^HlUqQ4EZ[iŪ9SYW2 !hɐ%3Q?UN zW@ejTZ) c:gYZ2d069c3e0426280cebd85b662ad1a01d765d083a4e13432f40f7b1835a151e11bc124aeab3c9b529 476b8b6d93e3d9822aeb6dfada9a4f4f5a0de682 0be98acdfb5a8716ba4acd7648a32332cb18cde8 C Boolean_Expression_Checkers