SQLite format 3@ . BBh77otableisabelle_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 d5<$$ ]/ HOL-Record_Benchmark:threads=6elapsed=104.092cpu=180.820gc=10.112factor=1.747zXZִF! ]ŗXf1-ĚEM@ٚ|3#fzY$!hftRY(qm\2`';op&& "2${mNuKn ×?Ghvl-SiP+%6#gYZ7zXZִF! \O]ŗXiɟ1_sB2 ( |Kln/h0!2?D<HC`5/<ˉUk]*U}YZ7zXZִF!  ]ŗXi%;މ|F~b,&p}Y.6KUEfTBk_E*z_Tp9Z>S1m Α(kA;*Ƙj5Y7reAN$A'*D;@ XnWtu}Vnpq`>nWY5G;hVcPf:)cט⌜5 3$KGМozl٧Um."ez<2Q:Œ\+s/T2A V60 MG A- .|1AcEv_~&AŮ9s3Mo Ѳ!>|cr Hͩ^A~%xB>| N桧a%@/gTMw;JYk8Z\ 5 HOL-Record_BenchmarkαBQ%Yb[1xϸnU:1`ObaNeRY-3(i$ɘ<5}8dqXqѥJQ8BAPGfY;θ@ovP\2OӑrƬ>C2me^ *)>:_N^fsb\@ns ͓xZQ`I ?كwkg)tJhg`o]F(9SsXdo0,Y3|BmgV'qMs|B4QXŠ?Q!( nE9 z:~V)p|vHuAH\Kw~  u?b/u&vD ѝՆcJdJgTķtV;v%'3.TΞqQ~KU4O ;DЋL5{Ë[ʪ2U$"2 \IEdש)bU1dh7 #~ޠe)Z`qMvZ +0t` r(!C A"PZI]].Xur34Bh-hEJS}IU=;4^ ŇM.+=Eͤ^tJŝ&N?MBWKfnJ `PXL"jSz)Ԍ)𨦸,@fHIp6WQԝ Yq,Ӆ$X=hp!荀YiuF+oLiN9]<.7˧>OA`4;K gU'Dpc\U.V{wH$t@Z\K <&FcГxaVBHX4Cip`䵴ƽvy}Tͩ+1|f=nM;8}o~ob3!d 5yxKw:Akr4d (G۲PTFvrv$ٱ̋4A'oC%)ГF6NoDt.qrѶ1 ">j^K:#ܼI9(B5;ogdC,; T*R'sJԳ?_3[a%n;DZLc4 A4<I,^o$rzƟFyHNq<>5*JH/΃=98,&fTaw+%3 8l5c.MEWb<+4ɬs%fCS*6 Fq~LMYQ XgK#EndE=Z Ku\vݪ40{9V3@onA*KwqirXC+gV2"z*Z30 6oJzVA`Q>JTfKwR DX$)Dh6ҍ "V {ESMMLE}dGr^^WF6p0W DoQxjzvS3.7SF