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 44I  , ] IOA:threads=6elapsed=7.566cpu=33.024gc=1.392factor=4.367zXZִF! Y]ŗXf1-qN50^Xݾ V'褃)*%\i` ,;K gFso,tɂ5: [#β컝#XjsW+)}3vM ;0btZ@ǹ'_;ncPN 4ZсSjAH (V3DŽG#^Ӵy-?}NZ]-D]\ِH+NVP⇅JsبF`9+Ldjk8I iyF/)̾s5%zg$y> WwbtmdͦխKⵝ>jx[yJv3GDOjߜ8]u Bt^!!cX]l8_.p, 7씭K}c.]kFNDA*KʻF+U&DW.MAbk,a3I*T`2~b0gYZ7zXZִF! `~]ŗXiɟdN'LvH۹$?vYjРC0hœ:zdN]]ꑩm`{ [ 4WOJhJkkA; 70C2xx 2e zoW~؈5[Ԅ* o@b֕fNTRztT9?Io#>:IF X$E$QO>r(7'xvE[Z(օ mfIˤ5# ErEu4&[@T}֨Yq9̍ @Ūil'lko=|& Y}Nn>3/;Z4BqZ5\w7鼑R~kJүxpzۃjR%IoOy1MDC:9"Y+tȩpjȿkE&lcY,J djx%LDgy(k"O1=[!ֿ<(_r>SQ߈jfSMI1vv =oRD:m¾9pOɇ2WtXaq`6$ ,Kٳ,^>nE' 0{MEmM 5D/Pwp:n3/S VS F8V3֚W}Q%*9PX1֋EWW+S{aGކKǯw"Pn/H1>;ZTaDmtc@vϽ*=:2 `f1~/2ߋJ0I氈t v쁙>cz61 / ^ {$4 fHo=ƫPav.TjMv7gYZ0d40e2cd83559aa40a472a15632976f598f2d8b1a3552ca70c14a200e457e2d73beea6524b2fc2a1 164d22ba20000019059cff6c55d56e309bc197cd ff8c6b0f06bbf96aaa138a3a4fd85eb123f7e767  IOA