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  d ]] Tools:threads=4elapsed=4.577cpu=4.728gc=0.228factor=1.037zXZִF! ]ŗXf1-%˓S, z!ŧo]uA{D"D5^]3Aɗ` `Z5J.c,ґu@ 'FfkD`,g*qcK_ 8=Fm[R"Se׸Nrc^C_A-gYZ7zXZִF! H::name=Tools.Code_Generatorelapsed=4.575cpu=4.724gc=0.228SLJ=0aI`S}YZ7zXZִF! p]ŗXi%G8*UY? #⥫E`V7aE84 iWBŭţ5KSxQ˓^Wmimq'l 'c[l|@|1h|k'BO8cSv17A_5r-ۦeǻ7IRHP;U8`îJLVi. -+nc9۝Cn][E>NHX6̎]8˫D)pE#1͒}d]滕>e6ӛIbhPbLFc3hdhܱ`/+Mbj,t" / ޚ*|X88pmo֝almuZ?SQd^'v1f_Oߴ 0"wtVe /z xDz7lDQ,E|_uH v^#(%:ٮat7hc_vOV>i$IPiyc1tTG\ ~ʥKnnx=Mkɵ~[8_#wFvs\_gD,O:;A>IV"Q\֮@Di9{* q$wb/E,`1ya\[ aS5WD5jYcVJ˛Yӝ@L\9AJMRޟ6,gYZ9cd7607b502e48172368a1a1d3b87632ac10fba61795f3a7abed9fc1d9546e3552e224994a90ba84  Tools