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  E E8)T d ]S Mason_Stothers:threads=4elapsed=2.566cpu=6.324gc=0.108factor=2.467zXZִF! J]ŗXf[&Lr* NUu( g }CyX.Fz;h启~\A]voW)<@h7+41C~5<;P)|k[T$ #%*BDBg'1a{=6t&Az(Tl`xIhgYZ7zXZִF! QD]ŗXiɟQ>G+"W*G(clEi]|_^%8O {K!l[J`RT}YZ7zXZִF! ! ]ŗXi%L lQx*IEz଍pFÀId3->09=k+OkQ~.*HOrڤ!Bp#(yqQ6+YڦKN{[&>wBbAųlJ{0H^TWK h cҷ\8-E  F$UjpBF4CKkW#W["K@׷-_cW>VZBtt2 >MDC[13d<d¾x-ﷲ}GD^{$GWYQEF; UCYX@2CE6L9wP}~B#늭!UFV,/8uqEYkLο3yc$dPEQ1*ʍ)S: -W]ϰ}!43)BC[nF" WޡY>N/h {Z<}F3u( X' BDa jeܘbc z9Mopr{]ϻ9"WX\aHZ "RJ3 'po]q 8nTId =} kcsÚuF^q)1*@!?mlrBKdH{OR kP,OQ8[Ē쯾o1 fxs5Z N yPuPQq\]&i*nZa&ò2eB؃gYZ9166edc3af0f3b7036e4fc93f2c66a9266ba16f3d3f90704504dab3f9fc94e3d143d1180eb260c4a 27638859d3581338a14773da3f5cd45c4e2a6773 8686c2ae035c3f9df08c093ba8385ab4fcc4e84a 68e83567f410544f1ee969efc186135725f681c5 ) Mason_Stothers