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 bbQ ,< m/ CryptoBasedCompositionalProperties:threads=2elapsed=13.714cpu=22.668gc=0.668factor=1.657zXZִF! ]ŗXf1-/6vRZyiKEh[GIHa3灡U.YX.YtzqAd8Xv5[lY$%,6R' 2EUٟQ+)` Rt6ڐdlnچI.qxnGbǬqE6yGl$:Yr$^yɹ8T`+CI1 V>MU?N_XJܐ [B#MU{#w]LKK1ma,mc@ pRX ⚐+ #=k~c'r}/ h BjMPUJdѨ`dmR9PwDt{# Uj`M>1AgYZ7zXZִF! HV]ŗXi%6p/`qe1'M /${$B%Y/3h&V㐐̉!,)|~ :5<@ H=vOam 'w%@>PNH&9*l CHCao@6}egpSSij}8<$/^l`]@쟷}O@h1ŀZ>IWujx2Rx'(3f[Fg_D Nʌ>"uZO7[13d&o$+b' p͍/GLrY>vC\ī84Q^z!])V͵qڗWHL/]+WCỡˏTaGMnV 3ٳJ##x mE_4]wsYfd䢑'?.FZ~ EN+p띥Yz>P4:RJc WXM 1tH-]^0{8F>2D_( ek#DJRhU^D|(bơBЀE?M e/Hy " Tfč}"3 UO$zj#rۂ7h#m{nj?R OBp,p/Z4`\ʴ~&9qӮT5#8wB Kn,j*xtԕ!~*g2\rdE 'ڽRM{R% Cљa=s*Cw^#hޖ?-GE' 0:;@63r6圱|}\i@?(:Aᐏ_77#P [3U2ME0`#IPy$ax >E~#Dے 22[~ &R*gYZ03256fa1f715f129b138766988778be346832b9d 135340a9feba4bafcbd2cccc70f9f211d0c25100 1f90b0e0086b2d0384ef5bc961db45d0c986884f 481bfb7ae79433ff6f36d8db4ee3f8d77acb2067 56d8d9984a33e9b2051826bd1d682f699c08c8f8 7ffdbf7c10d1bbfbf2fa7e48c924af264dc04319 8e8dcbe7ee912258a311d370bdcb8c05c2e810aa c5631d165d78e8c60703bf53383f004028e3af07 cbc1e3419ec1476592c54fd73f1d8c2aa14b6107b9e4cad54624ad835a14cb92fdf2da43457b5cfe 0c8d5da11ffcf561ab033c36ec59459b7d4f6e36 %Q CryptoBasedCompositionalProperties