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   `5\$$ ]/ HOL-Record_Benchmark:threads=6elapsed=99.222cpu=171.300gc=10.248factor=1.737zXZִF! g]ŗXf1-ĚEM@ٚ|3#fzY$!hftRY(qm\2ncek52bg3=##PxgYZ7zXZִF! \O]ŗXiɟ1_sB2 ( |Kln/h/FݟfEhiv5%e %4J|X.3Lk]*U}YZ7zXZִF! ]ŗXi%;ާ}4#w7n,YF98[BN,-qfZڵ"PUcLI]n3$M0՘k5܇ g^Eู]#՗̌D}Eʴx X{%:=^*z1צWͺI0B4^FD<XK 5dӪۗv:ce8T.mkyD*"si8`mӒ+6ZFϦCDx E @_Bi1Dz 5 HOL-Record_BenchmarktVv>QF?ڹۓ*M[0#uS&Ŗ/% f6I3C, 3Q@o=p֜yltfAֱBΖ QhEQj{돖d=/CQ}_(׾!yآn`~mVn^x$ 2;.+ކ,Rw+:1>-RÎDȰ>' 7ׄoˍr|QrN4dIrJB AFH8&Z}w XdOZυ~:4M~a(c.D h <S$Nw7uo~@J?ၜ:j)KЅwqP&t| [b|P -S56K^[+ D1FPV~[ڈQr{ƕsQ[8QG,t<+΅> E. NهEJ)X &u~=xf2xvqCyhhl#1l1{vz+BC^bB@ Cܔ@榱Iаj[aM8*BcN7K\YiN}k_G$"\9Ԝ$uNH-a񬛰78";ZU!"'47U 3A"( >S 2a Kwhk+4i Azt~d.J‡? O@-M14~\N1SZG(ݵeHF}^f0G9i!;LY+ĸ<0 }=wNTT'2$3Y.Թ@spg 0͟\vf 1/NX=_"zS #Cz1UnMKXB\̩)ivC->} LiT\ ;wMj6j+9/.GķKڋbkcq0Q ?6zvm b#6eOmJTo2n#X} |SRlmp]{a>+utL.X'=O#mpfr)nڄMŧl%}@K?m~BK´?NVآU]r.dBBd#$MAL>N$Vcd#P(֣y ps/m؝⚥ s qX4ӒIY Z_epG^PsԀgȤdKz<8FsM-ʷ+&]hx˶(g[X|eQ4hm*K薐$5‡HD*^Q4b_I9=LGQ\';{Wf=`@g.mCz%4l0k]>04%IZJ\;A[l^V!'tWcoK%&`{'nj/2F -[̟|0jj aúa!d~@SP =YN`R$!\^Iv;&VP!'xJ#sHU4>x`Z*R,[TFרB["U~=VRaOanf5^'FםmZE@W"&OܰxAUέc4&|r7~F$pF~%Hse@K>7v =x]ch&7陫sD|t S3OoY,ŏ 69]sࣇnX^gU;R{&/O)H^춘BGp^ -hIѡD`n6N>}Ec "fc,MEtbO(yF[eCJHx=Q1T8ZV¢e9tnxDܑw>zfD;úCsPmn'+=]4߉ۼa Qp$I M"wcCmFvdlH0GZ3o8/, :Sŕ~-4rM\sjxqaPx:̻ٹ[}QwǩLNqWyNXib+Fd{+-ݒWKR!q #+hrƨERpA YE/_V&=pP+ \X} HC 7Dk9Mt7R܀yj& y|;r7bO$ܴΝ{x;^gOAA`_GI$uLUjo&\D\|Ki5h7aԓoT<"k}CάLcxDͿDb9+rlml /~.} _B` \^:%[ٔq\4=,-4 o9>WId:ȶF-ƶSm%5=)ヒ"Ko#EJ6A|p|e9qiO7WP<<:UPͲH Ujd/I7ԥ+0Dl7Lj,;)GzԄ*X't!r0eEuoCohzo7C]%a]FlKJP`h=_dO33 =h < F.2|+:ÑY4W0BNJeg-:] zmalZifP'L|d%N6p=j f&c;ڵK@r (D-#ִV D">s@'_yE1 ŧQ*~WOX{kE.캽wv;iy8IՎqVHP\W>xڌe0Q]vӚ EE9}nOrt1o(/^&حǕQA0% :lBtS 9P֦x=:q!PBSzPМ2hG@WrOPJv-L?Л|qY/ KhM8{>8p3Ye{n+,T8I:!5=|b! >= ̶WV'o \" 8'**T )X/q4 02 'n 餴 so IIK4| ~夃&ᇱbEu.͇}s`t-s"CH~^^Wuxr4wM.w -*KHǫ|9vߙRR?5t@ Y9dkHnƮ'x6ƉEVKho ۶$&xrTw/Vvʵ݌dcEj ~VdX˥13?S^b!^ٮpuHA ֢6Ys׵4~퉇Mr=GMҎk5>~ ulNTi7D@Ŏ_i"nu 0ɮ>  La' ouE8 /\D~߂M@H?žwن|:T}ݺۄ$p} ?2z `M 3V!͗HgYZb9d3780d0680a2bee4e7f5fc3dc3f6e97213f723ed6caa966bb75077c120e012673453f69d500802 269c54a80d587c3b365ca98028240e5f8391db0a