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 2 |L ]S CCS:threads=8elapsed=8.854cpu=41.869gc=1.498factor=4.737zXZִF! R9]ŗXf[&:)V<2c_/:`5=^QO1κpj\ُ$O*h/n9(P_%7N>4k[:5owyIe1 V*z? aeA}0w|OKD5)N 7b^ b/= ?e"Zpf%;jY }бsRSF/i->\`D#WZʀ$VUYʽ 5X<&OHqk,[A4d~ր&=UgYZ7zXZִF! *6]ŗXiɟAyԳbɚ->=XnI/KCh&>2ѿHo O.ǐڜM HӸGxbP)G SLrv[L)Ӽ\j l6X8gb\:FH .3̶),W{%뺧HЯyhrJaxv=.@ 'SҩzzQ+$jNsee~i" '5}"̗a4F\y g?uì] F2d"phtOx};\ikx*L= K!qgYZ7zXZִF! ?x]ŗXi%>r]Q{-$aqSZL-2F_1~ãEVfӊ'*]0vU2'PMi8D,#h%Hccl(WrB$"05M!p{_YIwa|& Uf7.o]NNӛ ^@.*1ð7\/A"a~,4G+m"@+%g]-[Bl j?|"M8}ś^Vl;AJHF6QY@na9+hI^]zrHD!F Nu rZ쨊&f GNNɢ'$~ 2G=g^u62Qtdfm*s gdvDfzHAҰ( P hcZ%`~Uh<^GpM{o,~Z̈88[#sE/*aqľҾmSi%A%%lriF4,<}|Qo!/xӌRoA;$-6>\'9mvW3'crxuc۴_EST[C?(C +@ͽ}`F#fж[[A1:C&AΦkìHYtJW!_LI$uxm /o~x8d0́=j9)^њ|3?3y8Kzb*vDܓ:A3 b3 (G.B;K)!AMqÖf:|xTkD-Ptã/U鬝P62IVeV6o0̢}~ߺhT; =4az