SQLite format 3@ - llB77#tableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "ml_statistics" BLOB, "task_statistics" 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 _5l\ // HOL-Record_Benchmark:threads=6elapsed=102.969cpu=175.968gc=8.868factor=1.717zXZִF! ]ŗXf1-ĚEM@ٚ|3#fzY$!hftRY(za{>-m!'5i0d@8 qaKeIrpƵW,Ŭ)V"zU拹>xs ٴ\CCЫZw!T0f{!x؊cY.lP2]\(yATse)! .7Zv|O@qHdgYZ7zXZִF! ]ŗXi%yL6wڋ׵(,P$yDep餫Ov+ast=cV\{윻`x=+xOZ[fH\\q@|GNH( Ob_78jhXRdHNBb2D'btRuzrmCH<#0$jHkѺ3=F0;`!TX*c$tAҠ]^r%=h@/c᮱qcMu2jb,t4uҗ!Ld2)(` cLzcfĝD0%Y+&ē,CEXeBYtdeK`y<۽7A#a9G$nDtcGF@bƍ4%Fg;! ֊ 5 HOL-Record_BenchmarkxMA_<<<.DJZ61}@p[i$=JaM֌m:Z.~ /(upa3;ɾ *d  iMV 4I RQ1,Sk4sܲ䐪HS_Ҹ}r5ɠv3=Y}r<&M՟$x˾_l{*G@^iX|k+t3 B2P]pw@=c;|[ "pք $TARFG1`;NY}puh,P ofr?^uXI,[62E:P/<+Hl{xU4g= I()CqֆUvd @+ \|&f#wTx^#DUѓW:c%XŬW+LϲU;޼ԈP2q0Ԇx,P:~6Vz:'MA1 @a2$YԪO.jxDr 0vD?R#^{^E퉷K wVs%mc~σ"*iPcբѸՏsuS{ezEmanZhtxU V3GZ35%iR˘#}wȅq=8GSƐvpǺ4(̧âA7/ ?Xq7!K<*=pf6TW&* NM)"Hk|;xP&H;ynS_1V-yɦ}cao .q]!΁Q4D.mPeONJ4+:Z!/ $2+sMrtR6+ XD)>tc+RC+*a!γ4&Fb KXBl*Ji7 ]dD8Yn}KCKZd^& ;N/vh[qgb9\Dlܭ PJuRY<F7onK]~8 K5M5!*#۠|6S S0Oɽn45Fk^,13nvc} $bҘ)NXpϴd"[O|#"Hč,EMIb=sZvSIi)Xxְؑw%kE8 ՜SsMOSs nWRWrz\0}p@ԧsARnOV]LlNZ}xI6ZwA ΪIzLYE˄b‹'RB/{G1#ZAtqZtIvoU-(e~ RMsk#bBCNvƨ.-!G cz̏!v5(H- Pl9782 ƇA:m2ʗ%eNaMU86:aQ`=O=:Ra1`?Z |Ϧ2Ƭ/BScM+ cl }UMٜ,+%@ӛ]MtDo3^J梪 d,Q'>dԈ::cΎ> o+9|Vk5 0R=$g$FCV9bR wܠJ_/8()޴"VMbD2|f/IJty[%U)^g5Z+1UBE 5Ʌ{E/=}%юҀ6TވiY46rɔUK\[~IpJXʺUgt*-tv kZUpH/'D$Iӡِp'MܱԻl'C\l wݾP?qyux,D<z;V؊̙-]fF>fn졓@ yosaN5S37!}0/~.cT$|Ƌszyq</!-Sg`j=NGHSG$Z;ֻ'A+=!}6ב w\wENԍ^`< ?RB^pne>0>̓䑙 `{H؉p g6NF]jS}rƱ`^US`bEdA 6~ 4s}6>4\%Gp=id%TpBoAVzoÊNDPd쳌7rLh- @ia08Bl["NG3 ~E82 c}e̍i׷HYu{-{"e˪71cȲ$y)FYkOOTנI+A!okլ)NXO BFucNŠ%d/7OǒF9ZeBR DēԉT UTg̀&NڗS\è?2 z/y,.u3.ץ]R=|I "#*c/1tvX[ S UNC|]vE8w:WLU^1 N @9qZmvI)FӶlegg4bixr2`ZMޣ5{;4l{ h|6Xタw`:S|M1ILr" cē|m𠩩S縁!޷Hy3V+ωJgz]  TOrFnʎ͎s0Duy k{'uqED;:F4a9E L:IWdo:i⇃Qb]vL@aNq/'RDoX`>7=Vv0CBH2}1zՙ8awv`9be Hv}S|aGRL\[P ?#%Ep AցjɱA\>)AwWwɩ&C Q