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 ))T1 \| m]HereditarilyFinite:threads=2elapsed=16.662cpu=25.780gc=0.748factor=1.557zXZִF! |]ŗXf1-/6vRZ)/V~l_vdᷟGK?尺 [-=CU;"n*?II \jh"؊Dgt{!B/nxp_tb;3Tg&t߭j~RG @+iB#>f!Z,HWZ:LZR&R1~I$}\Eg ?aeëoӛ5;"hȮGӀ`֋zfŀ~َR[9+u63Ik!N_`[e|TɆw}~M _7e7uu&5G&)1ԧyEjK;XqpDD$-*b; \jJn0A S1ɁCHJgNvPqIb#R% ڔ#~R:N .2_/Xe[aWua.( ̷ScZD? G& FI[{kTE̱gYZ7zXZִF! Ye]ŗXi%r"}5ܶl`EDen`v/:S3lի1VqÃos,Rϱ".Ĵ?e_6GZQ+" ,( m9cCSBjtſRɟ<1<ۓ}ԔM x <4`X¸tZQ Q|ŗX<=ne_K» a#ӆ]`NdT* =R|Cd|{ܬA- Jw'rh}5JAhkioiK%$Ate, xp5ם(&P,YWNz#$m7|Ya 3Tho_(mW,MbTI=mY?}h\ලш d4@=]9\Ҙ߽S< x8AÌ:1nj-9R07 ccA=w( >Swv^_VnboɳI[Xcx'U p=&D10`B0UcbpA&(cõEIOj&[ٍ]/qcݩp䠻,mj30D"Ӳ.-k2R=!5ӬsKڌ?B7Ԩ׋$C"{v q5{DO:+vL(]-h~&ƃnHvr-B_TN;QcA= SB6MiB)/IϺ[I;A&*AITbpr2E{|Cb.\c ťoЁLQzzL1&@ R$VqlȪFK Jw lz2ؙI %7Z(WͬHRC9[<{x g)i*5l>f.|:ܶ p 9WjٍdlUհx%#ةLV[tKP^F246_YL/b~Hpv]+9k2c]4b|'~f4ꆺ6qtP`;UUYy1@n :yij  #gYZ001dcd4d6a8d3cebe37f416fa2bfd07d87bbd6b1 12f77c17f595eedb9c71fc37f436f86ff7647a6c 3c5ac8e26f1721d8e10905b9ea177d85075bc738 6ef6bfcd3e21356d78d8377e82c11e1522283f67 a0d7a666e1ef01cff26fe69e59978baa40c126ac ab06ca086aee730a79dddc1d42c28d5bd6136449 c23aabb00636d95c777ddd7eb7518b377c4c9fcf df4a72d4c2ccdea476aa2a97ec6d075cba60850b e528a9016bf702bd31b17e02bb7f07c640ce8059735820fbde580c794b275d3f360e30a6d8376dcb f7c5cec25e7da1e133019a5ddbca98ad9c7924aa 182507163e45bbf725735e35871a5ba3be6c75e3b13adaf4048bcdf3c6fcd4154091d7052118511f 1 HereditarilyFinite