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 s# | ]%]Random_BSTs:threads=4elapsed=6.293cpu=11.720gc=0.448factor=1.867zXZִF! 8]ŗXf1-q恈%kV^M[-dwPt#`Nf #w\ӷSsx>̪ni|3]j[+A$6P΀}եgIz!}ŚC{ f{3y;̒aq-D;x\ iygYZ7zXZִF! 6]ŗXiɟ1]" Mԭ02NaD^/*7ѓ떻|Fd m=JŸ,^,ad,D+@3{ JI0M Rf R%ZBzf)G5Կvbt%n[勵R|d'U^mVLX0;p6{{/A UKH=߭9zv|zLgYZ7zXZִF! 7:]ŗXi%ES3皩W'H(&1C&hO0-^=NTls!d2QT!F<:8Õ/,5>TT&<N>Wҭ[<`1'^ А2_׮EP☛&5duHL&Pl%|IhfTkJX#Og1Rr5GbQ\as-sMI2&/8֮y ;m?fS*װ2+6sxm!y4ߙoH\ Q՜k7RZT'7n+0w(a' %gzӎxhqYhHmgNu&+|B%h|Q _WYafHi5{ Gœt?Ø<@5L-Ov BgKMJޮߒb`_}S爞VU U[U,P{+&2r]0?+%svtkux=,QݮockR,u[Vm~W]0;2e:lL~Jg }_eP'@5F|Q|DlskFn(gYZ82d9f555030b5eed53f806a04ebef555edd4e55976b019a50eeda51c4b74870607c55fbf00aca327 dd820facb07e73b2c93e51e4d0b3041a08b59568 6d2ca289f8b6f3f2a3914773c718d36e0da9569a 11b16b72fa7209eadac73a23c648ea733a439b74 a5213ebe4f953227bae040302753ab2584b851727e5d8613d4e3f8dc8c6c684347a26a7050bf0d57 # Random_BSTs