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 x1L ]% Transitive-Closure:threads=8elapsed=2.259cpu=7.940gc=0.249factor=3.527zXZִF! i]ŗXf[&L_7Ae6^@ 3_B9X- B"Nj`}8 D)$ZU L5&-7 qӘS'YxL\3&%Q+شK*OEό nL5d騪Ƅ,J KaOB1~؆;d0#*ٻVwlUmvX,n HsƨYG]yPS:h$ɌgYZ7zXZִF! /]ŗXiɟReDH$ 3gE= %y0>Ʋ+JiJۜl̐ f*y03Y e[8`CCTg]< 'ĉ/H-HSF=ePoH3^XyyZpd?QBԑd os9^<:t9 V9gYZ7zXZִF! !]ŗXi%>t}ǒ$[l>͕[e;PB'wJ _ֻ,9z@<}YFST`wp| #tt#\xq˚n6&-9ήC;d"_~_ۯ?8 I0xLn ‰ɥ\GI{t"5ҪB 5y1Ho $xP//\\2AUǞ:;wY(. $Vo=ߥFXu `3?΋jS{_ym3Ú3#}I\y[#(ҭ }c~0XʟzENzF9:eTt?jb_ sI+ J$L{u!1RT$j:"F bJb &.1)WiX[>&d^h-b*V†F"hEVՎٶ:/#}8҈d DkM/PSѩ}Kp ,T,0=*, s+vbݐL3՜iT6T&6d%1"u$)bv9.ZFL7tORUK},@B0+IZ;G `^+Ell$Eb8E!aKD4 kQkQApCy@:vz~gYZa0633a207ac2f0cb5246de9dd4c8e7b22864a1ecc58d21ba3dc8b698b4c6d36f436849048b45c256 c642f89151926be6cc7824e0701f1f7d684cfe9b 847552051a3a4a92063e64d41cec45217a8db3bd 929720e61c0f9cad99adbcdb1afb5a95adb9a1f6 1edfcab2115ef70ef89b87b72282ad56d18972e3 1 Transitive-Closure