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 |t m/ CryptoBasedCompositionalProperties:threads=2elapsed=13.538cpu=22.896gc=0.760facto %Q CryptoBasedCompositionalPropertiesr=1.697zXZִF! L]ŗXf1-/6vRZyiKEh[GIHa3灡U.YX.YtzqAd8Xv Ѹhj8 O!"?oxӾ %lP*oWqx>dN^6L։+'膑83E=(7}/i{k=b~V Ł}IäI^(!Aho؅had ЬCU~y+S-+XkaVpOĖ.8ia*"N,x e cSXЋ`eiIX" AVko&y*DzNkd(v18w!RUq9@J4{Z.ؐ{K >tָrTէE9 /1 kpvy<>BJBl[}F->/la q$NҩtOհ1GrHI^' { MgYZ7zXZִF! Hr]ŗXi%=‘╶l6Ix3/MbuTP!,#އ@ԑQM_EeNLËbKHLjC&&pVm{QIm}adTp.r`:1'}1̗6sts Ys,bu vXڇߺsC&T1uqa @":~ A g̬b#ޓFɃAug$w3G$ QC%ّZ82;@ͬ/e}.mw|i%۴Z6L3-L1 K==;5"qswѦ_h==kRU50uR!`gq'M֘/5ytܱcjQm* < ,$F~G1bO",2S&"ܜ'ǽڇ;5 $D0fghkм$F\ΏR*.LF ;Ot@3!-ϷؖB&rS],JY8Nf*:7&Mum8nLtk>۔Uwv}*MGHj`^s>r*ʭ e3}`sO Ӽ`w= 5Q7~(k&~,RjmSӟytbmm^^7ݪm;vT%,ӗլu}ٶH^4SU@$[|"Z8ӠeUQJ%39\yfbFbwсP<Pe>u4ޡbk͟;yeFac;kN,$瀢L,*ݲ^xs`G5Uy7z ;se+9#Ey '^UYW}o뾛FQ,>zBSĦK=(* Tc =[*6EإN& U_1`_,n W߭+:pɣXSҔ'VWYꚵy ZwG4<ڜAB4 oafFXZC+Pe{s;R=׀CGF (^F\C<ɅWdJecG\U3d ^gYZ03256fa1f715f129b138766988778be346832b9d 135340a9feba4bafcbd2cccc70f9f211d0c25100 1f90b0e0086b2d0384ef5bc961db45d0c986884f 3cfb3ca9b5ba20b084fee8954854fd58409af50b 56d8d9984a33e9b2051826bd1d682f699c08c8f8 7ffdbf7c10d1bbfbf2fa7e48c924af264dc04319 8e8dcbe7ee912258a311d370bdcb8c05c2e810aa c5631d165d78e8c60703bf53383f004028e3af07 cbc1e3419ec1476592c54fd73f1d8c2aa14b6107878527395436048d51bd6287a500d1cb05dc0aeb b7f78dc5556061cc8d808a0347899300b2842457