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 #Q 4D m/ CryptoBasedCompositionalProperties:threads=2elapsed=13.658cpu=22.788gc=0.720factor=1.677zXZִF! O\]ŗXf1-/6vRZyiKEh[GIHa3灡U.YX.YtzqAd8Xv Ѹhj8 O!";}>|I6&""G*<1 ɭnY8)n{UkA_PDBbk!L(cZC#cӚ;bFVC_Iy#kD{G;`a0_ ;}:, )YZ#@{p{#8j?BXn8:ARnf/8(D@‰M=(QcҢY#]wģqxYg%$y~;?$di v€\}}6Uyw'.w[}PRv+iJ~\6둬jjOAƵpu"qޏK\p6gRwr>c 2NxNR>W;xþV[4A`\aoflZei+?(pBf4)nW?r ">g>H$r^a,T^OYjhQ5VZk%(3КL&}eˇFm/"%q]Z7Aqc)Rd6ݬr~ fӣI?s u0U۽!Nsj;2Ӱl$TX `Y+0/n(d}rcѕSLźʭH!/>QI/ުZ4D((ӳ1萁asvp߶+KsVGl lmw5W3VLJԫ =i*e=Te.IxyB_'ԤG lFA"oi{/ΕWB.lu ׎ KoA<֘U:؟h8.E0ً澧uv=3r4-;ΰZybnà"o9F8+NP~oJgWPCГ"@?~m6/_8 -;,fxGiފ,5['/oSC̨3h(!("ȭ)3NRi +/u댦 lnLYk$P֑'Mf̊}L30aX:k6ʼH/v1\'(RC+S_p% ݞgYZ7zXZִF! H[]ŗXi%r&B`a;NVgܲ=/9"XAHf*b쩭ܽu oK`J= j@x n@.{d^HζA!&۵E yѶj*Tu~ b/\kUz:U%{}8cBu[rk/-6Q[7$! NGj/R_J جd3*SdW'Hzc|p\u-^Q K} S INs ?NUSrq܌m :A[)x+tWHHWH߬@<uTkqzo1*Ƹ̏U1`ݣ\T8z%_K ,&/-$i5;i$w`Zh 7[8P]^YEI4ӊ<Ω5xChՈsԏath+s,1EI34C~;b/b:"2ZaîF{9=MMse64MS viЇA-Y}qN.S'K] m3lx:pU( ?%\֣jRat汑8;j6S/ z %\ّ%W,afMKTQk^FH7_^:]>!% *n#&tsS.j.C1-כTv1B8wveLSRN91cC3SJqO$X`M5֕+YI #L)xaio#| w9hk|}Ku:}hԖl?~Q]%2vt*]—ѽ@|Psc&&<Ӣ޴1a^D<4υʑl xvs䎅6L BUez3\+&mΉɚP..lR/to>|[=L *C$V΍#6F/Zx4} %iC=ԧ9W6 R*@5,t%-*H7YWMw`Vy&>gYZ03256fa1f715f129b138766988778be346832b9d 135340a9feba4bafcbd2cccc70f9f211d0c25100 1f90b0e0086b2d0384ef5bc961db45d0c986884f 481bfb7ae79433ff6f36d8db4ee3f8d77acb2067 56d8d9984a33e9b2051826bd1d682f699c08c8f8 7ffdbf7c10d1bbfbf2fa7e48c924af264dc04319 8e8dcbe7ee912258a311d370bdcb8c05c2e810aa c5631d165d78e8c60703bf53383f004028e3af07 cbc1e3419ec1476592c54fd73f1d8c2aa14b6107c7c621c8c679c6f81c939be460dee2fbe4c459ff 6a3b5f35a47c619c2090fbc84ef59d242c963bdb %Q CryptoBasedCompositionalProperties