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 [# D ]%]Random_BSTs:threads=4elapsed=5.918cpu=11.172gc=0.420factor=1.897zXZִF! !@]ŗXf1-q恈%kV^M[-dwPt#`Nf #w\ӷSsx9eݮr'FBl.P4⃾ĝ) d Zd۷l$t1N1b]#x(ۙY& "[-7)ǣ?v:Jjó+vf3ntbJ5en_ c}K0wy~b|7/uZPWgn1X*D]CTԙ)oRw9|rNǝʫ b3$m1gYZ7zXZִF! 6]ŗXiɟ1]" Mԭ02NaD^/*7ѓ떻3;hmSA'TՔ;"QatQa4 cp}Rx1T@p8PDs{!4܅0\wH!t;sU7;"mC~la™k&^hJ5YfПC@ zLgYZ7zXZִF! 7 ]ŗXi%B㛫Wop KA$ndƇJj%z^A|EKqn1RjD/33K}-, lTY 4s>  ǐD4,&sqOR˾F }n6'b0jYDg.LqL7 *aտ1Xs4}"r NVQP)ql|p5ïxT%.ꠜ?cۋrOh?0@rk#VLSK[VʿИ] eBK %Lt UgU򩟠6ײ+`rK%]E$⫠ْqZ߅ H(puzי YsW jJ'ߦHP 5I"G^q1џAltW'Iv}%v ܖ֤5d^3d6O}ՉnG耞p.e$oj;&s}þj7O {Qуib/^,=F6 ~a%b6Hi0&DJ4em#&K-}.Cn֌ xL)[W,v;)rlx*j'Y캒b :&MAVWF1B5W6OP;/ '{z"p޸D>I~cMIR_pW7޺]+iJ+%^-2!$Ne31`HT\VqnC} N#W5 feN|$EkoLa]7ӑNWޱq7Or-[RngYZf21e16f71b795a917cef30388ddefa6f019058bdddbcbc2a51857ae6e2c35d0f0dfda0600638ccc2 0cf10e45680ae439599dd1e4a9dcfc11cbb36022 f2aa8062235ab9b94abd77b45dd8ef43dcd424db 1a050f03797f0adf3821f52f013ba9dc0cd56252 93c8a91f801fda35402d973882f5766584e043079d8b754f71ccf6ea757d96dfb2f7c76709a22a37 # Random_BSTs