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 88E) l w Binomial-Heaps:threads=2elapsed=19.141cpu=34.280gc=2.960factor=1.797zXZִF! ]ŗXf1-/6vRZkc- R/{^~|D/=0|NS+k~dpFyrm M8,҉`_L%!|&SoVxa|A_28A}(_-/ȓwW} 'oQYnuB=\ç 674%@Ŝmgo Ԣ0ꋓѳƫ&n%7H6BHNc}t]Ϛ07c&) Eõarv31QH4m-FKoDGS.=(&S?PE<=+QTCs^H}};6n׃ HIk!s,ufQ`!.˟LaRr\Igz}8-7xDɡ_7 |Lr']N@EuV.ftFzлpE6 }:NM8W܆yu׷tMhƓ 5q$$1` wE6ҭ{ò:iYND[L G5^zSD#LU֛yL[Ή}xH.iP2*'"h 2'I&p3J1o h)~ȣr|+ I6h[O%] )ڎ=İ9?TŔUz$fiwTxh,u+(gg:аb~hv kBuHQL7Bx7]̱gYZ7zXZִF! `]ŗXi%{J ~mDΝNA!Fw|] t!#B f9*z9ݱUsZ8%j-YJJWb 䴌A?٠"Mi 

Vr5O;65%Skzn M%e NDhdǐH.|" VHmYȺD,]nvS=WP!EWiyM / {u]fZv0._=\Oxϝ-pbn5ƛ ^PM$e}F5g%R8T2V+ekUgmռ&nq:=C=Kt9p~+ iiJ -ŸHCCg԰#8>dSE{0$4FrS7~osmE&?qՏhRHiBrNXߚ1P{ek闬Amtg[!M!\q-B9` ;=en4PCmezc%@?d=[p9zz<2yKVS ͟a/H\dyY/w\ ; K |u?;1:%~<}9=K*~ij JmN*Y L|9><5.2KU.`kNqD`c3_ujHW6_mHQ7U<3;)š3k@z6? ŹsPc3rO_E*E?Tϋet C-9ZDNQP_6nӾw+,_ϣ0tґA@&.:sgkqbO ,2ɏ柼TƦsl&<p`QU*< ̄ij۬Ide'1N ?t.\/\) enf2df>ϤRC%VO@o?ro8J-6ݢ& |-?a w!zvQ0ϳD|ԕ5:V5__q =7_VgYZ04eb82072791d00976062df95e35b81cc3afc530 8237bc5dfb02f79ea261a0d43f6f97a2b579ef75 add258111776de3303489072efdb722c0a076586 ce9e0d90f61fd3a1a6dbb623320e7c2ecad3783d e06a055435ec8022f1f9b84b24263a790204ad68 f0c7a41e25c58d76af306a704e264d1fe7fef480735820fbde580c794b275d3f360e30a6d8376dcb f7c5cec25e7da1e133019a5ddbca98ad9c7924aa 182507163e45bbf725735e35871a5ba3be6c75e3 ) Binomial-Heaps