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  N N/1tl ] Stewart_Apollonius:threads=4elapsed=3.757cpu=6.624gc=0.156factor=1.767zXZִF! Ct]ŗXf[&}y(+O2Z#b1<Qq7㱘V !)Okƾem8ZGwf *ƚUE!i8ww/6T".vr%?7>FgYZ7zXZִF! o]ŗXiɟlٞYZ?@Lx!ڿ|-*AB11$]1}r[4JܺjŨ:A$7dtƊgHC}vYDĵKaOf.ұgYZ7zXZִF! &]ŗXi%L Sf-k;[~B9Ou-^Aq5XJmJk!U)O c':^Ҭhz'?IK_6ü7?/}ќTT|Sw, aX{hܢ4?L:pdRw/U|MEV_ڙ £Zo|Ge|J| K^FBR( 6݌EYNɮ#c%E:ݞy.Zh  #&3.|Cdoh?ldfm0M6"g YPT*]'woő8 \}F$1tex5:5Dd7MH$P wL} > ymDzC_& 6` $ej@ 71S77er׾N[,Ho+֯v[^ɣ*މv%w޾%EI]Ďv2}yX&| e*H Y*-6n6PP BS΍TMt(gYZd75ee66d2a9c449baaf6945805fb64105a00aed2d3f90704504dab3f9fc94e3d143d1180eb260c4a 05a03eacc3059078cac786ce4b0187a596b54f20 8216edab7dd1042815b7493278d1dd8ece407a70 1 Stewart_Apollonius