SQLite format 3@ .;  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 ZZ## D ]%]Random_BSTs:threads=4elapsed=6.928cpu=13.252gc=0.452factor=1.917zXZִF! +E]ŗXf1-q恈%kV^M[-dwPt#`Nf )r1͓dS$b($^ٷi r]71 Y7 YW2BA;j`!>A8m·]fw\}O Z'"x/'f CB֣+^x?1|?X}_KTJֹ2o <3jN ulDdy@h!t d Ǖx\ZzP/,|A4CH }䥡UهevbґHN,}M(]A-ĮigYZ7zXZִF! 6]ŗXiɟ1]" Mԭ02NaD^/*7ѓ떻҈+C1 HSSY<$U6|J9kvcoSsV!& y-iGH\Q [Q =1_Apq(!oޠtpCI0Ҩpjw1(I23-OiEJ٥z+WxӄKѬzLgYZ7zXZִF! <Y]ŗXi%IMRR%t],y]z,! E4[՞7k믰S1_gs>\j$&+eA]+>p61n/LUTO 9 ZC. (~߯g0nnE>@ӕu7=pf]&-W k iԊ/]'&O-t`y5(6dbl{nj-4IQ[ .y|Gӄ4G&x2M lExcYE9Ǿj9c%v>6 \xclc@3fzpF[R.UL68`YN,l&Rj}E }~9DfU]nSo.Fk6"bbԊݙĀfe]ICA[x( Q8(am֭MRT%㍇j੟Q,jKƆz: Oj-Bi