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  4 4A?t|L ]]HOL-Computational_Algebra:threads=2elapsed=65.660cpu=114.600gc=5.216factor=1.757zXZִF! 0]ŗXf1-q恈aldC>14aUVe*@7Fl 4˗O(p$_J3A0ݭrjjZLGubxa XAt-j|L:Tdvې_:5Ֆ60t?nD1mnӾ&9zIb'^,%9iyk4Ke;'V. &Βc0bph 34Nlotmq8&y{fMG[M2W!/;Q^J`7n`(ղn[SRf@Ox"2W߇D{RP5=sP'2N.0azIj5`CGweo)9ѶDeؘʋH5([-ٗ"# ou+`vO8MDApԝΓgwfn>\M(u.霊|;OTQK1h6UKr}h(O?|椿r>C^|cw!g*ktF1[jvaԝ*-ȭLG2nNj5bW}JY!%*֋'R&>mՙ5Ld~xzbNLCJ`+rWX,S8@-:Yl ZkdrHNeK4gK~lDT_`>v|9>3iJA$ ูsD9b\Mus% L >Y>h YU0S89'! du;TWr4 NOui0Ag]7v :syِUZq9~fDoԢEK!G^:f& +e[$*]tq@GTQ\zy-]h Rt8v04@J uh\/ (;2D-@eݻ?@ ~AL(wsW;5m!K_DZ[Zq8Q5[8m5k/m}x1Ƨߘ>6*JS(aU?-g,O' RldklknhĨ|?p5'y EVhHDۗ]ђPA6omYr.>2FN"N28};8*x=4̫~#,]GH h ي~ a>AgYZ7zXZִF! .x]ŗXiɟ1&!kl2w; [ly@!~RN}2cԪT2Zt!xrQ )ֿ|-oJ%c z];Kitʏ@SkSyo@oax+4܀"Ff{5(34$rf251n ƥ)K tyzc@\ ? HOL-Computational_Algebrait!ukdSi׃YX!j?t4DHrҟ~N{n@;XKe̔7<1Ӭ&}WBQ*̱'BM vgYZ7zXZִF! , ^]ŗXi%9(PB;9v/_u -Y_q$pf2͠Agђ[!v2V|j7ü34Ҍҏju}oȾ)ֿ!5BNwy^SeX\Xz49%$)yŤ[8ȫ=|JhXFInZ6u^ɅRA@C>At;W<;m2 dZUe_ɖ$3^ևVq}=f|{'"3 8aLRuUwWn\lS?ǫpY ^ ^YHJwD* A5Yea8]/[m&iO[VDEy[|}>_9@d%]-#q~(!\M91CuZ~M8|n_IttluX_GU@Ei_o:}n^[dhR|`/\YXF$l KYh]6;QK7SMͶb E2",Q)&-3aOE)0k&miiɻZA$Fg0yG6SJKwnA*Q`iѠU1/[@u괐g~E %8B?XfVJ\:*raDOI9~ߥ_X8 N]p"NgAJUuvlF'j20x蕕ǽR_h{Piĺ2)AcHhj9;«8b s}i\G&jwPIQxH: 4e̍ 66yCPi<V^AB(r (>q ~&{h Oz2CI.HJCGqCG"u*kՙ?Gd22&,bHUւ){1{P!M#Y U3hpV&MED{+e 'f׹w$I@axEwBTߝ %:Lcun, 3 &)d _=wF3?6+{+sGҏ2>3zwql:Rc˨PHFjfIW,A0Ć'Η g F+hbC#fs9ha%Ń %z]IG疝l"<z TtqVQYC⠐ɷdN ,ӳ)Cú+XP~I̜A