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 FC l ] Boolean_Expression_Checkers:threads=4elapsed=15.625cpu=28.520gc=1.768factor=1.837zXZִF! -]ŗXf[&]M̈vׅ0%_[vgص5WcRh0(`i*}%#_bvo?j5f;7 4VyϷ=>?<3"ԫ_q,<_-3ț4AAO%J"b: 7$ `H5. f4!5ђ*~esIeydH9oF\a- kI+/fiPn~Z(53<)j$8 yJdiZb{CCwLgYZ7zXZִF! P]ŗXiɟ$@u$lA{HAu aCԄ+F=fVneVk "wW!i)8+u"&E7XiiCGXe(˃ZbD CnP0CP>y "gYZ7zXZִF! ls]ŗXi%BD=t,9m#7tOS^5WlZa\ NIr-۴ey v3w`Ru:)eҜ׉Ch=.hjoBFMmSlNkF̶ig*Y<){]iDvO_iK;Ϝ-#!!pXy7\4H&u-V7CZ{A/K6ClKtgr0Lh9 _}֥N|| ncqZ׼>r89 gzIw`>ݫY%H'D~Oҿ }2@^H LĆéU /$I@,UUx7˿峐|!#H|E5=[S?ZtU] "VޘF΀d:B}O|ߑ9 ,sNO.?D_vkPܑPlP8L6&6[ F*" l[q\ 8.'𤏘BYߛ&ŮⅡ&rXA46eʚz(G=r ]܍՟ϙD뜅=Dvmc(_)QwVgoŁA g+f*+^4MEdZ:$Z43o k%%{i/XX3\EB] IXjzӘ FWIP`\׵'#~muNİږd 2akOUᓗ:_<yδ.HvUmKPZ T#n _Zu~XS928O:E<8<}n˰+Tfhj`Qؘgݙ-JTG ђ<Gn+xGL$Bw5p 3? ?(*-AzTe;No%>iEN\TEVN|E9 MXz%IO\\fhu5-Ct84zbah"6Va\l5\|:\xe2Dt"ќ.0RpYaoy[Dx"3_)C2ImCd 8"(W<TU )pox:]wڸUO _eyb9X݇CfkwX?>U1aZDٲxmT+vzazzGXnEi~bǹeٛA:Q\ubYHGq6@W %{*ތG26x<~MՋ,xʳH'ӂfcsپ=G[6.W<='6 S7:f QWu? Z #0QFrlk P3l}'ULFj>j,䘙F;y@*T (бgYZ9dbcd7a237a12bb35801f313191452b6e03d1a073853cc710de37a8d8ae8e2ce10739760530fc782 68e24fa803389d76024c730e22fc9263ebe14aa0 83ff64ea6a2b070362f9c43e10cd0cdb2f17973f C Boolean_Expression_Checkers