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]7 indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info u-4D\ ]/ No_FTL_observers:threads=4elapsed=272.763cpu=311.472gc=5.224factor=1.147zXZ ִF ! 9] ŗXf[&z<7gF6s3Y9m)@ J_ T v{^Da$e*HZ6-lo m/AJ{l(%jTG|3y0ey &=j3MЯk-5ŀþXDDJ,Lz;{ mωpyrɺb1Y R),>Z78ڢ;-V @StQĪm$lD-ß ss̳_CC1G>Lk_AA?eRW qC|`65MAl]2ԕS X̗2zLנGlwH6BS4a5ݐ - No_FTL_observers iNhN &fDe 1AB'}Bi)E+%l#̄oEܢ\w/B 6=譞֔!HS7:\0vSڈsΌ]WƷuf>IV#+lWȔ̈br\W'a½\G2qARy^ϖ7tSgv#O F(,,Ԛ7CbԇPDѕB[.DOzؿR J\raq1]}&ÀF5Y|y1vv1x7OcR_вFO9{nIZu+"j|,uDl0ϥBT͑$RF:} z)ci'p9AFߒ5ԍ{Ԡ"j*ub;qA5E[zҜhV)9rƾӫUSxX|LsEnt.[䎠fMA-nTd cr$Bq^8:EɆϒnIh[Q.uSػ_KzLЙY'=3m'҆ O}ڷZt8[X+ »dw,TZ*ѝVGf}hY>١$^ ?چ'2Zz46 qX\v6#4x7ʍ7j8`Q%Ѩ6H7͑8o SSvF#cALƔP:VBT>O}vܵQ⠈Z C+=3%6$3:McKpR̘Ԭ.5