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 ^^# <l ]% Random_BSTs:threads=2elapsed=7.255cpu=11.284gc=0.728factor=1.567zXZִF! !W]ŗXf1-q恈%kV^M[-dwPt#`Nf #w\ӷSsx9Y9Crh paZhb0ٵDp gm\ P__B5_ַTjT[zbVWgCFߔX. ,,eAW0Brg;p&|3'̰d<;9&DTggSi&TN0߸ "׊֫QW,7+ƌ1Nb&X.V $kaL[onmȈM+ލn=ĥyj\}G؊-,̸&ǑrD:O>޹niAPK|d.̪֖R@u&9pٯ$CtDaI{L/X^ ,w:"ƩzS7qT7-% I0b 6O]xe(<"V2L BZvo 2{\aJ-o߭ԍW H4)ԖԅFM#̒J`?vx2֠/qߖJU(HRŔzi:ph #1gUkf٭z̛T'2CO[xI+٘S !3&D#W y̓BחzцvD^ wv{E'!fX9=|WU=nLmJeʄ*N޵&,YBAޯ/)r8'4a!;wL9?[()ȳdIA;р]9 2#߿$"Q轞`rPMhaA*ij7gղݎ]N.pu@٣&}1?#)7 |z07âCbZ$' nWԱED!x[⥷`0.NaE O/d)vHe7 K871ȴNmYrɁp&K7O,$8F|vȧz2]\FeΏ ڃK$&&* dquֱgYZcbd5e4c6063d4a8f601ae8fe0ee1349737a4535d665af98eb5b604629a3a80f1bd6c88145ac43a21 27625c6a71bbe28fc0d93a17cd760af834a4e6e7 2369b8ce4e84580554195548d17ce55ba9cff784 6287b454d7db781d7a850744573e8a503c49bc9d 6fb077d94a2095ce786392fac781371da48a929a # Random_BSTs