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  T5,$< ]/ HOL-Record_Benchmark:threads=6elapsed=98.719cpu=177.984gc=10.248factor=1.807zXZִF! ]ŗXf1-ĚEM@ٚ|3#fzY$!hftRY(qm\2>]I_.8A#f#J[j~`4XLZXAd q&gn,&%GlgYZ7zXZִF! \N]ŗXiɟ1_sB2 ( |Kln/h/FkAJ]A.b{WQ~VúQt{j]ON}YZ7zXZִF! ե]ŗXi%BȶCN#3"#1қw)͎ qemDCfSDI[y Mٔ?tQ |\t٢T|}UA>or[m M!S}ggկFc]t"m@Z9v^AΚvU >G qa<= 3oK`@ qHPj^ ]P%Ig\0tnގ5R#[7qHHg60ߠKH0g(>~F5">Q;b뒕[3ޛE[ bDoc;ëMXRqQ)! UoG 5 HOL-Record_Benchmark  Wc_PlGf/?lH FF{M0 [ F)w Bi89 F!݉w{< ۏ%/-X`YQw%z1~{/VN2iQXsTf`/e8G X\(Q @0m<TkXm%[NK? %_O4S 1q/q0h]$iW +Y%yY>GA >8|WKĞPbR@lbiq)M^#븵KU%,\b6]B4dPd y;ڮ~ܩ^>HDЗ{Qt6hTdhR)D .n!xk.m+c}"PL :fu@ezؗSĮSq*2v mh岰˶'xx{F}JIvA}SzyO$HΆcmLJ|mY9k湢#nC:rGmR+ލFޱ֑0Os.8׵hG%*oU)|uIut&MٖY$"F|EGzY]("U+:TN\$דakEY)/=gA=eP0NPn}9h5ڝ =0"Sj?#2^IPefH?~@$GQ' 1u+}hhiN@S~r48;(SdxJH~/L8&ι0[W}$H:XjU&v]\?⣣oWB"vBPeo%e$%RXѭPGkbR掮|(LTjS*K2jkU"Ǒ]:8Ƶ|4J3mGI.Hw0_͔7z?GfM )L%S{]޳N)At~S"vWr,@Fr6DE3ZcTzx T5J ?ŵ iE!70j$d`>&[LJZapr lԅBF\Xpoz>nӡˀSu~$,YI=bA\~