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 FF7# < ]% Random_BSTs:threads=2elapsed=7.191cpu=11.132gc=0.600factor=1.557zXZִF! X]ŗXf1-q恈%kV^M[-dwPt#`Nf #w\ӷSsxU?x׌ *2}aRNDn@J[-@v;j{3:J$SkpF K³xy:td ܛg+\H: zk;{ 2}by|Y\{eg&cMJYK-?ET;-?ض:<7h;e#bgI,{˹s~ss‡ .O.VVȡqf5VKm:'61KɰU\ ́̂0αgYZ7zXZִF! 6]ŗXiɟ1]" Mԭ02NaD^/*7ѓ떻LhmSA=;)&Z;^Q/ GQb|`$(?z$y4MAE+N*eu&ʩީjW5c+j'ἥ-svi(f#LST~qs ldzLgYZ7zXZִF! 2U]ŗXi%>glaإ„'JS`n5{;߱-J~|Tnc$4 If?fo?z'@e΃PD7E /ٕ&IQ@`DRp柅OronXXFZ|#Esybggwrvӣ禒6dy#UA+5 a!v\wy̠V*w PrTVFh63 4^ŷclfe-×E7G'Voъ|- mpr{ 6]-ð -Cı˙ |*kW~1-y?bcܬW߀ *1U'4$,IK0|N<:a`XZƘe`"iGxr:\n# J0%+/}`g௝q] 01XE$YRKrY4"Ѭ (z zKD2,Teg9Pϙ8_'WS):m_ZrLk'ylƫb<-Df *A31A9qI%U67 H.e9M:!gt.1zkXKDz&N7jvm.]wREMCvF )G;*0U{ӏBts1Vh _ߥMd=@igYZcbaf466954422faec9019b980bd6194994f317c097833069aaf33e80bb8bfd493abc152a39f1dded dc78b241718cbecaa21e6c3d43f6dadbec9225f3 28c701d29bb3453132b1214a9015bfc334954436 c0f58ff04c8ccb049e2f45065f357621bd96152c 5f5c232f7ea005700cb549156ba693c686d63199 # Random_BSTs