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  e5\$, ]/ HOL-Record_Benchmark:threads=6elapsed=101.109cpu=176.664gc=10.296factor=1.757zXZִF! g]ŗXf1-ĚEM@ٚ|3#fzY$!hftRY(qm\2wBN kvnE߼е:Q2"{]DeG)xgYZ7zXZִF! \O]ŗXiɟ1_sB2 ( |Kln/h0!tѺf.#?RT{~'q[1k]*U}YZ7zXZִF! ]ŗXi%>қ$8;ŔwgyC|YĮKag8'.ha&*`mgU;䫽JPbNǍLɗM\4Ň? . !t8` ( zGPQ%dpIZjAhَͱ#H%ǩ9= %ȏ=c`D=`; 3_9$5@׿y\vE4")S(=n4eTKdUADRn6'Ъ螥.rL0)g^p%;-"1UuId3QD0/#5#Gx3-xݽ)ͺn\J+EYW1u:f_hNh0-%jعplDzJw6Üi|⨒ Q'fSO:ɻ0د{k7]>w]^Jk/z-%H-p׮Y`R#nIu 2&*(b"7;)[PvQMxׄGz= xmMF h,08e˕(tn){ꦱ:CM3 +SeqY)e8zaaӲwV-ȵA.xNUGNѪHB_#XY8xƵiHq @J,#_4OG V l"HJ߾Srt>%KHD*Wo+#&Ǝ˜f7b+o5zuж®=N oÈ̆CpFUV>yF#q|/%7A\*ٺ >JG{?{ˢzsAb,`&- 2Xw jA\{W/aSqj<\┆y  Ң>Er&W?SYZd2Bx ٶJ uF >yj%agzAKTуJ̪@E ):- #gNj EHE-hmZ j)t% 0$|e_i/wh?HV =* c :k!vܩ^ 843ƾ)=DЃ$/ȳ!-ߎQǮPcZJ&5z-HbV<+_;":nTK:a,\.P,[醈{'wyTmu\Uȑሮ/FWg n=Iz ;%@+ ̓1AaU >[sEd H0y K}OBW1AvH/o5Ze1@Y=g~@cWACUbLѰyD)2"hT%ayp㢱rLOqMIz!w\Sy2 :8]\6Ò7K x(:qɂ,c+{