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 c) ;4b{rᚈz,V#6x2hwoO'AǮSTugYZ7zXZִF! J]ŗXiɟNGV/}YHE$+N7\Q"^_^`0Ozh$t 8d-m;DRnB?w`Lv<,QΜtNL5GX8H_bXyUQYͳ _ALuu<'dId1FA_Ӱ2)孥{ΥSf|}8 d6yE+nvлq'3zfFkݞYdQWZRYphϟS Ǐ']9׏1H+oI S2ʛv VKgYZ7zXZִF! S]ŗXi%B+JOv+@YCS(X>Fn(s:NlRS xkgJ+~ݒAUN,&Em5#V8inz@\h!_v_&l+1#+X@0]TX};q=&c?k t.]#z2$%hn\-箋@ԗ$a5R\_D9 F-kkWF(FKU*JrUյ]6Rò%ukkb(HG{6b`-\LBy8dB2dGf1Uy8ho#&0'j^uq㝋vlF,À(AP+MBIi{0u;Ň!~MsQO+->-w!z(4Kd9M0A$QUedM.$QvAVd ;K|pi|nyx{)N፸wv34EX@g @s'Xm|@>!6BK.LX,hm,D5f $DuX'9W=O2KG;]<W֜h0oQA^5VفP-6fb&D){/$ .p5u EonDy9|6Vdp?qAS(ف^Tj 䰳bo7g ]iJZD UEXJB;Uk&{1rkjVeő6[eqz]XN%j"H߂ jhvjO5.w!S=?¡u=?XƆ(tWRO1  kݱgYZ148b732cb76e72e5b3bc976b23c4628459390a98ddbcbc2a51857ae6e2c35d0f0dfda0600638ccc2 961d7cfc19b96122dabf28304bf6dc45da32abbe efadd5e2415b70a835a36820e6157751d92cd168 90a699d4ab813a8fc0c92de7f31e81ec4d9fb9cf 0e5cd0aa27bcf9e14390c7f9613452f604e17fee ) Jordan_Hoelder