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 { d4\ ]/ AVL-Trees:threads=4elapsed=10.354cpu=37.360gc=0.580factor=3.617zXZִF! ]ŗXf[&(tw`)F~{Q$؄F;snzaf; @3H-٧Fk'ID-RwryKGLW<,FǒL:MA8F2 Y7`v iQhM-2m.3-r]d/IJxJseQzepp suJAGK-cOzć;= AsXMv4ҘOM֎+& $݁g#rxagYZ7zXZִF! Q]ŗXiɟy)j sC: x䛖mRυ)"1-1(sXd#ǓqjH-)4FK=q MmސgYZ7zXZִF! N9]ŗXi%Bo*"]eA?ǟ3C_w;T0)+"5ZcXAd;$j51BTu.=-V5(q$űoF1弯GvMw:H"Ma]uh{2'.O貴g 0nK-,](݄|1T&@hd!1,Z0e] z;Va9Ҍ(qVۆşm̥ ߬w ?a^p2B"|6c:gQjy3"|f\eonMbȯzV Eơ=;B}a߈]P)*&u%,zĊ8ٍO'zۀѭCڐm#Bw[yf"͐<TwSPކS?V,f(>臊eS1H?Dr!<7k.*\@cKbK٠, ZMi =s,V״6`b gzi\jkNHT0.oLiY3* k`pN/^OA\TB[ۂ6z@s?|- M0xXdmCZs ZѸA,tҊhp ps{rN:7&cۍI UĿvBGL*D>nGbQK7񧧙@JNCPd[ Vk[s6`H9k72|=i úB]xIsXT]9a,xX\d &qZȅ\i+c”9$zI1حjƷX|uMa(dk6~Kc$P$!4h?PU,NE+3Ehg9dSLm;LT;'TjBe׌6˺'Y6 `@=/WvS>楞L5 ]Cqg>m5s3;а ί瞶v*=F,TEdms%Aƭ5$ό)c+=D!2k^JJLCkINk($oxǁ?m]sq\^ߙƒD+4VƑ*'D~ͺgV/#G6_Aq6U8dq;j8M:nEV4q@ %nt/an_:$u}cܧ~!HݮȤ3~R:9 ~nXB:Yjf_z4LQ{\\@lAz`q B|"#Nz\K u{'gc9qZǻlTodQ-Äګu*C%)!R`Jȥw} 3DW$'LV6'oCr +ufbe gYZ2b8115260a7c0edef2531d2c2a165b284ac9f0fdddbcbc2a51857ae6e2c35d0f0dfda0600638ccc2 0cf10e45680ae439599dd1e4a9dcfc11cbb36022   AVL-Trees