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 qq+ $\ I/ Binomial-Queues:threads=2elapsed=6.311cpu=11.188gc=0.544factor=1.777zXZִF! F ]ŗXf1-/6vRZkc- R0vPP OA50is|ba RQ; Q.'dթNdǎ-FRIcX;,wX>p`acŘ(O酔)_ `G7O?fĕA+>BZ9lc۶F#S|*N9U:zox33;$! 797UB̾e>xYs2X䂫 r(&~W)lG&yxnP&رy81 BdvN@/;#⠗e(S`6~ pcެ)NK uap*fQ) ;ccSFzh>W9!; .w0cTc\ϳ^huTY vgLw hmR$Pã=^PIoǂKWVF31bw݁- H‘0`|Y{vЉ1 ǜ +, + Binomial-Queues@v5$4" "K4k%5מ=#gE3F"r=#+7aKo ÀO[>v}fmXX~s):&D&y`alzqrUTy )XXӛ`0mY3>5)}Z]c&e3C̏ú,*U5TCJhз^ʌ.(Kyf'.jGƋP5LW{;bTz.EC ,Y3lB FE[z_Cdfe=Pi6`K_:;$'g~3K_ hyAAA#>!sQo݌۬zh'!S"'ʙ etMr[,7Sz3ɯr^AБlvάO_p1cL8+n+2m -Ɏ \jx,2}㰅˲.<526hq:PE=_X;h6OJ?hdx!M*?>)8`+bՖIXz'7@ɓWrq-\#$ z z AyD|gY"t^^8;6:Tn4`H;yٌʾJ@M@OJM\#Py|qK)~D/@yf!"eL+WMlk&Wo%_Yj74k^MʈKnF}6haz(HL<#{ 4cz~5*dw5U-?LXawo ,%t7fyP(T|& վE*npځl$TH<`&1&_ɴʤM)yRS4* x& {[{Q 6F&E\2NO{,|D)ggYq.kY<ȁsO&)'gYZ0ea5a344ff64d3f11a7bde39609f6be0f403880e 65c0f80769c300cd1a3da1c8badc964be8cc0ab9 7365a6d0da22d1676ac894f539799f1610b88c18 a97085f18e83107db9e38de7f772f74f077680a6 b33b9bd2604125086f6c35dcdbedb59ed184af59 ce91a2d5913aebbee2738dce6eaa99af2e41f246 d81829d116c813f0b97f449cc1da7b8637e9a273d7fa8d30fbb7c9d01b0a5d1cefdb96c3b547d5e0 e6067cb86581d04d2141f63fe8f84315b3b63295