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  s s D ]/]Cauchy:threads=4elapsed=2.279cpu=5.904gc=0.000factor=2.597zXZִF! Q|]ŗXf[&w4hJtiTRrۧLMW>\?@f$ZN"T=OQ|tX@]A4#:\*m UZ^Qj7[E ?ـgYZ7zXZִF! \]ŗXiɟy?}ScOZh`KρqD.N+ό7/;J왫:ϸQjV|AV-.d+%LHj6D< :xǾgYZ7zXZִF! #]ŗXi%B8]t`XFcB~3D&pc#Y,"G0#nPh#lt=yE#wU;UyQPQ6|<\)sh>eV#Fpq%/jV}zy5rpX^ 1wrODl5@U[ }pu1Ԇ(i^~g' -X%BN$u_Kĩ#3M/?zT%%H䪋-xIM9')v*q\K뭼+qA`6 װ#6YIvseMC A2jptAB8=kz%o~!' /N;y3iMjI"ǬDf5~ J^k#ݐwJPmF~? G蓥tYRrK]Pҵdiki`S0?qFu3gYZ705ef6a7b33e1b06ba6dfe03f604b235e060a96bddbcbc2a51857ae6e2c35d0f0dfda0600638ccc2 961d7cfc19b96122dabf28304bf6dc45da32abbec529a615eb44f5a5ee34cfc718bab29d5fc99200   Cauchy