SQLite format 3@ . BBh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_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  }?\< ]]HOL-Computational_Algebra:threads=6elapsed=32.816cpu=103.404gc=5.284factor=3.157zXZִF! 2&]ŗXf1-q恈aldC>14aUW-+_6}L{{J>5kU7wajQ1jw۾H`w+(AKR@8#>+oS]hk" $,&?LH-Dz{yCHf^hbsDռ L,k3`L nqF%Y*D~HANqZygmGє q&$C)fo^c[[ 38EkWQ@u3ntq}pm3f&*lų3qjNVxN¡ucr~\P`$&S~P ? HOL-Computational_AlgebraThWkX&^4AXvNv3_ m6 piJϋtOg}JQ"G>7Ɣ=9PftfcssM - ʱA׉2%8):EקH+DX;./N([ѝ߷~ϱ2.VWwk%,'yĎcy*`7>/ ՄpC}XPKL. ͖oG(35]0Dqz ٌZ4ixv ]_wW?`"':bRwWv`y# \1Cq4>˙_h_)))G2c ~3ΠM5#ppr+,%S+gӻ W8eޔ1*&J<8z]k`m@AVKڠE<[EL"xY’Qn@QA #P꺯~5FqIn^d#7~J}jn{Ip"XNTx2iYݳ٫q6EX*t'܏#ٮ\iCyPƠd㐠4LQCOݐ|5}*~a˥S+M0ӍUU: ҍGPemō;)Bei-f6$qR;,mPD0%.hFSzjTJ4Ǜ9KW!d3W|]ȰŚ (r|fD0 |r[Fc*D}7wLY3'KxSc7 ,B~tz' qWhUde:닱0>apM-oԀ 2::,pbJ2 4ԮD{s_ o eܱgYZ7zXZִF! ]ŗXiɟ1+~q'sFgR_._ :9%aH90[teFiYs}ط'Нaf~JBW(RigELP=t"3"K?Z]'m4.Y)S tgYZ7zXZִF! G]ŗXi%ƞfknz@J8JeIkv6teo+YCC5?wk? ?PLF֨C# 0ln\V ZܘrЖ8]nqfq|4*s82mXg]ɂm-#5:}TbgNi2r_:lّ}N\of7Ak$[W;}^ ٽjXR\B` >Q'VwCR~;7PqdVdRG!yWU@UKץZxG؊FsV5d>$G!6j娎DF\-ƽ0f#TچV E 3~‡pWa>5o1*`Se6J>J˚Db.d$kn\,Zb/@0~r=W$GLoYMo魒B#@l4ZήQ2LgJz.Fw; pXZ3 X3+_ΔAR_+'$cy$qEnJ?3z3M sEHy줍}Ӆۈha{TTkRO ]<1k%gc˃2c6T:PWv? Nܢ n!X/>jIWS_;b&-pQ^OD2&w!6agvq@j]+5ρ ]WҊFA3kN\ļ,XE;8 |nGIeR)،o&.ۿ=xaM.>ab0cuBJ: .87"ؔ>mW_ɖG.KQ. ^/wx?ȪI>)Ytsw=#*+nڐj_\6#]XGAA boY v%Ca dF-C9xԆ%x(b0 Ba;B}>kl${_2 N ..SDҤ;{ ~cLO#f+ N1P"HcZ'=vbc's'@?ڶyG~&J&w9 ='mn,i5e>]P.e=Ū 7׸!kim;fwzRui)FnC-vi+Ysj$  "6U}@ܬͻW=շh0>ذKQ-  oEXun%kZPb$s,PR0  D[u`]If=(W'Q|(^UbJAq9I`9cހwhV#z{賂9Ā$x~{[|, ;_w"X:6M ??K,>U$klWb)t'v9IǧA0onPbwY=-Cx .zYr$3`Y묕E7F37J{ 0] IPs;[HIKEN^,#v9rVwFRޡZph'W(]Ʊ&}G6xStK%Hkj=s`iژ~# e>rĦIK"6Xr|=Y݃hBCV2Fqa’lљu 8yƼNج6;/HD 2SF3K%`0l`aYKhɳ%?EU}Re1Z,(,:ҙ\K3,c3%en VPQ({{_p>N~V𷁂;z CLƤi|vn]P1ϟLe *$ໄŲ 7np6tf"hhz,T)"JДEPw( ,B41 POќ$昂Wc]GaA؀=QDA첟CјQf