SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "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 X' 44l ] Stream-Fusion:threads=2elapsed=10.762cpu=13.488gc=0.448factor=1.257zXZִF! ]ŗXf1-/6vR[]`\Tu}M-*qtjX`"ny#90l)3(vS} ꞭXܤV y*[v4;vX)@Q曓ڳ2)R#TPEgi VZq o뫑^;]9у+w@+ fjUtӠ#\v)Ds 8_B,;>ϒS:P5\7E4S#@+99]hJgYZ7zXZִF! 1]ŗXiɟ>ӇuMwdӘ-y/եnϬ'(vښ1=rgS&_1RO%6 DF:mA@g{*"nc!C#?5#p+ՠho ~聢LC{59H*^) gYZ7zXZִF! B]ŗXi%>gU4 ndoK8>OlN&X$'d:lB, dF_5eA-oCꍺ_ $uSv kb"+Aw)04rjPǠ +}&ET@9u NkĿ#  ӁfA~+v#gΎtT3}?<(^"KG"hctϔ L<`{EA뇬 ,~R*a)&=XiY(Gw] |vP/X7?c,'3l WpnItG7T\euj9۵r Mhz; / OY+[ye'~=͠@@ѓH'}B:RjClz>'@58]LEf?^$@W@-X7٬6fVM e΃ʟߢZ~b`yMSWrBtMQ+)Y6ՈAvOmB|.n&'MZ0i#^w7kTq4\-`L*_Iہt{F/2"%Bqv{1F> J6DbĪ),֬#M'5&, DfZUk(*طMp:9u7rkĘ%]XfFQ>QaSs1zʲDoK_3~mJ0"ФY}?;n7b7 $QWRdtWNY<,6YrX{A՝geY%AS'],'E읲޾xEY52Qn?0~8csW},Jq2ugYZf96def0117e99c69aca1fc83b1c43be0ae33cb3e767d1abb4385cc0848829909014ec5284a74f26d f8f7da93998fdd1c52e2a4472eb3025f88ab3418 539b3ebfec6c0f7c278eaa3e8bd32b20d653efb4 ' Stream-Fusion