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 Q $ m/ CryptoBasedCompositionalProperties:threads=2elapsed=13.039cpu=22.216gc=0.708facto %Q CryptoBasedCompositionalPropertiesr=1.707zXZִF! Ml ]ŗXf1-/6vRZyiKEh[GIHa3灡U.YX.YtzqAd8Xv Ѹhj8 O!"?oxӾ %lPSb?Vݨ∳h-$ᓷw ؟ب۠:rv[Np-.[?ݚ` 5sf Ue߽l|uW2ij▽T!Z'SIL5VxOQpwZX^ٹlѼޯg/`DK7C?iFH, ńf*:v,`tscDH^I]sy9פ˃׆3 3 ԋcW.iAGD`A*я,zӠƛL7R5 UEާxzBHBIRD-35%^*ӊU[rvuX*J8ZH&ꇯsM5s;r`k|-3cQrqt {$HQ^ܻ k#4ZR"9DF\@rc gi6!|oڶUU!)3b@ҫ9G0$3%6𩞮Y/ͮ5DVyjKnkI0rDw$8،(w 8`ݍFx0,ݤ%,0 =׫X{6YdZ=sS$ۗODBODD5(}}`7gM3rS1B W[ *ΏGΗ;(X\ݱ7 ע"hgC9atʽ5/ 2XvUe#Av<>8Cu^f?0˙l ^܄T} +6ϭ$W@Fa@2"- M. 9SbBrA@.4 =} ')X{G?a܍MLxJ5:g` lm_ OC';s6 tVJ[h˚ubNSe?-R{gV@F ;b>e{Kfq5ֻ$T"(k^&jDscɀj!}>!.Bl.w:(sD[VE$߾%YgTS}x'NϢO5H]Tou5&AdzxU8S•qU,pKj\ پ gYZ7zXZִF! F:E]ŗXi%zxK@1\?O;OS |tUϧT>#%$|L: -VCx'zF7 '*^1X*9ƌZdOc dQez}i4jYCୗCGz v ox119do`:!ٕͯ' gM,(!J3b?/5A4+@#sQ+WdO J!Q'S'dp&8yCi9*ca$Y DNn l5#:Jx*Z?֑x4وzg*lM,BjfJMAzb EBw lJ(^y9W덗 yJ$N7}VYJ;"s`|wYiyIed?13<.Ш4|,VNru<R0s`.X["޻NMzgYZ03256fa1f715f129b138766988778be346832b9d 135340a9feba4bafcbd2cccc70f9f211d0c25100 174e4a451a9fb966a5e0e4fcd6730dbff6614809 1f90b0e0086b2d0384ef5bc961db45d0c986884f 56d8d9984a33e9b2051826bd1d682f699c08c8f8 7ffdbf7c10d1bbfbf2fa7e48c924af264dc04319 8e8dcbe7ee912258a311d370bdcb8c05c2e810aa c5631d165d78e8c60703bf53383f004028e3af07 cbc1e3419ec1476592c54fd73f1d8c2aa14b6107c27a9b4598ca656eb9c36aba33ff1f22941d7b72 64354e2142aad138813a04882ec6c2904dd4a4d3