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  l5\$< ]/ HOL-Record_Benchmark:threads=6elapsed=98.753cpu=170.996gc=10.268factor=1.737zXZִF! g]ŗXf1-ĚEM@ٚ|3#fzY$!hftRY(qm\21wG\pKcڊqxgYZ7zXZִF! \N]ŗXiɟ1_sB2 ( |Kln/h/(AY;JYDҺ%l1 ¢Cj]ON}YZ7zXZִF! l]ŗXi%;Ŷ o4-*=0mIݳ#H<G.U;2\ KKG5$w0O{I3YiU sax&Rn·ys<<rf7 E7 vv^I'u[JiWnwwptLe|2j"o+\f:*\ҔTgFHVk/揇SG5GP${,2 )$9ے?X;q.A~-bBvI "ۗ_}l((v۸,$u5]3|vNiS !Qf 5 HOL-Record_Benchmarkgg#y;Wh+O)O}J*] JSWJ78ɿEM O"&3PryI.qZT6MEE wWrf"1glZEȦ7` {`&!YPK,?IOw]Ч|Y+5#.azj%.X6o= 5/>3G& WJ<Ҽ-ԦX8`-t+g.!]ﰕPhl|H$0yPTqf5k<8е71cHTgzdqg..@[|8rv7-ɻ_|8cb=Io@{H'`-]C\ƺ J3, 9^LAMݾoS=֗$}(~gޤi<_ҼhJ%I4r79,meDPrx?k s9ShGK  );8QT +`&}dWX3O.zJG.ŀ˞uxOJyXZzC l6bx`܄+OT@? K&`+vLʄ ưF#~#؎Xeܛwx>K܂,u7V@k'1땹zk S@LJn>ko*U8⛟)ѭT[e D}wb#EqӒVmH8W2Bqnv4ҟQ=nن_k$҅z^7\Hjc%7'8$4'Ywae7qwɤ!/%Ջc_kz}G猟^Y{ .V;/k/_K].F6fݺ4HހeAl¢?Lܕ^Zzzm>@5oz|ɊkW~eaq n?[B(beƿ[rZsF W8 kM>8{4..(*Q<鴣sksmEDVvrԬ?!$E{X WϨ~3B%`vw1QXn(^\k^A[In1ے| Z Q/ Ϝf=1{](33=W2"v^ppk]^ ឯiKf{% pFؗ`'M!4wU+GXP rx3;6*NSj-o==59oS؋z]D~}ΣnXkJBܯ%wQdXAӽYAWQk"Qʕo I,* cB1kIr SE^{ZsSgj^ķ(sm-٭㋲茊Py"8z@fAjNaǁUvQ_U6<MO컗Lc+cpB|oIfp|&>H9f!'a+ AlI `w)r-\ԅ>Ko6Z#m4m s(B`-[t 3;xĻ[ \[d597Y~=E%oK^jv@.nBk z/^FP`_?m +rBS6WY:Nԣ&@/>nˤs8\W M/KcoRH:kZ lUlkȋ #[cs6LKcO`>ѿ[dV6EHh޹4b֥ǯ%8s !D#OXn˔Q- 2"uR[]UKaʌOZ]>s+:@3Y3R(|t 3TurszTXsdY=DYDӱHi&R_C{\"Tx})POD KSDBHǹXJpνD[5kפPO}L*y qi@lCԿ,(!qt~YH4]HzPB?񌲻f#_\^&%㚷c/F1惘})c׳&:̼-YH쯛|YN`͋= c͡76a L@$-6kHL]~{u%p%E"Y"aR(JuqI8 ^*Rx]TZG$2g'k~ώywfH'kf(\1Jm6kX)͵G%l[ cb|BM÷K"w4 b3y9cz??Cz,..L۹@{۪aQ`e9Jւ$^~aO1@Z cUOhEu@ f I*`'{3Ug[FT bAQ2.T)ƹ\MߪB.zMލ$>j)V[ySʰB@%ȥ\ Jj&F7oUcPc>_y7j,#_d'Ƈ[fͭ>? Z<2Gu8a2{r̂j*Ѫ,xy}@v|'oD!q9qaB`\`&Sx$y"M'ڐ@%n~]_a{VCF}"A@u0rF!~IqB:$P14 :-O7$L &tJxCdud.WyF{U{Fa(ώp}T~ Ae%%H j*D#Ӊl}:{<M3nb}P.)FY!i6gYZd9cc54c41ffb660765605463b419d86b2e41934c6c8c27efb0c8ebba6c08dd56f4b9bc33d58ea855 bd9e806d713320e48df8a9e586a2a05529fa70cc