SQLite format 3@ . YYQ77Atableisabelle_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, "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 EE87 L c% HOL-Quotient_Examples:threads=6elapsed=26.962cpu=44.184gc=2.228factor=1.647zXZִF! ]ŗXf1-q恈N/|p~p%+)</80WkLaAǖf46>Oh[v6*Cxv``q%=5- 8[{`3ߐp@D7Kpd:[yZ2QIgL6|k4t sW/äg@kzRmח ̱#/PNRaQJD7ׅ `"8[ۑ9,\(g !#w沐VNt@5,4 `䋚5vS_a+8CMb$LLEHOc됎[k4{r$X;pT[!L7%_h& Ȼg3!V.h]Н! b:QX]7$sg٤+??N0!'K૽.YrҀ \y5ޖKU6 Bm.a_9J[n~cu:->55;ݩzXy^΢tm奰T(\drƾdsb]k֜WQmijHMdgϺ `*u!"Z D7 -~GEы̖#I"\1Aĝ댑ф21_y'Sx7z1uuv,<DÙZ&ߏmHŦT r>/: Τc(BV3^L<_.Ib—S3f뿦\xJ肄iFu.?W̆,Ub8߹kN@Lx\_y {D⍾>R UkiPn^R+G‰)?XsswYь4 L#I@ParQތ9}3IX}-iYV!螨k= ^H,e)=#ŹOl\R8EhRp;VPH^&Zo4.znR(İQQ'iAI!ܿm&\Yd+u< KGG ƫ׳x1Љ]:pϕW= BfD) ˩G= 9=*6ZTa8oV sJO{OݲP0r>x{#5`n(I,I.%GLrڟgj.$ٙsܤ[;Yn끰epgu{gfx~ #"#വuI BAH!tgiu+%^\+StR`.`R'Ia> tS#tņ ` DS<"I΁b/\cڮ{0⤹;CY+ׁ]lK$ztu\6{x+!ndQrmĬPqQqy$JB:zfޘF8Jb'1+<:?4l?6\JwZoY;BϸҿSt~Y1\JbAP=`C })ӱv=V}.B1 7t_;38<ۻ,'kq!slH@Wq%ڒ}PKj5_͹=mhYBQ?U)|GIVSw[mK(s%I*  gYZ083a992b80b4c23477d5874cd5f1c245ae6753a8 17120f35b11fdd87e271e089302ee0ea6f464cf7 39297e5c7830d34449d5fa08191d0595f03e831d 4a548d5b74834196920ee1df36b7e3d7145c38de a8fc7233ad737f03c496f39ceb42a026ee006fdf ade3ad97dd32fe559260faf9baee7f04012a7ad7 b8b83c597cae60fb14d3c013919ae29719345eb2 ba7e2e77027a67221a96d1fbc39046355a1fd1d6 cae5c54d8d20bd007a0d510d9bea71e54482f13d dc447d8aa2e5972060d5924f038d0f40ff8977b9 dd7af1b7b0c843285320724a053ca87cda80e45d e153b82bcdd60f4ec0e9f431f0a830cd858d5573013f12b3a18b5832e87d70a48956a4ac101e569d 88e2f99c5920bc73d5416538298a01671c7553b6 a2acf7069a04b73290e85f261327886d85fee3a4 1719840070b88f240edf8bcfebb671a21b462a25 b99e5a672806f6d1c450e2dbd1272934e6bf9e42 7 HOL-Quotient_Examples