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 Z' t< O/ HOL-Cardinals:threads=2elapsed=19.369cpu=36.292gc=1.304factor=1.877zXZִF! ]ŗXf1-q恈<-¡$johkX2I):6{Ohq\“g:({nq<&1],9A?t.a ' HOL-CardinalsoB`LV+km/PH#z觃yF;taUT#g2I%sLۅzz1YD@ӎrQ9r.<*aAN@v[r]<̛/ֳ2#_0cX2/gBRԑV풦a!_-8,Ե`Vpl5vU/2K)px& ׇjے"B5X¸qǢQВ%(D׎>={׸g.!qk`y..u:_4e]0]Jұ';w)8Ir3.zh[6 |V5{AS*:?WHoҜ4~}z3S/k)M yBumfk>MQ/YHaUΔ/1\?6Uz|f~j͆0Գ]., Z b9)ҬLg _a*5P)3_l~ WP`\*b't f3BZh82vS-\EHh.y&C _Ş6gʣ1?<hj'%(hKjCN$Hߍ`jgtР/\ϒB01\P+RDMj[0e҉{i+` xc!WaK.$Kb,௵[+XG\7`Wv;m-(.^A@&H7ڊʚb"&@7㌻w1JojQAmr]i,ۆJJEq{iqUєKEgJ2dQlA$< UXbfE9~wQ7Oi#Q-T@jbYKvbD [j-`*hţݍ5m<f;渇URdsR+hTv Rx A_sY:gN&0% *$S B3p ߴb=Sw+nE# F :4U@Weg5GF#Xm',e֛]U4x+f9׫7z,m';ST ݸ$*rJ1ɀG(U1dK9 *ďT)(A徕$Pcs/G 3eXDݘyxos @74U{vqc =Y8CE7kvA=L*ai'R5lBu%Od;A;{I`hi:,X]5151s(K?"#D<Ё(T>&69u}QgIN\_XbE'O1D|GV͛+\+G"8{-RKd4?s p3E~ioI:;>i\NQB~ } }߼E$9FlLB?Ј0oZf2bNk?YPYO 1,(NL2,`-e k$\+:S~4hAsEt5T& 9<QxGZŚr0][|TQ1$3&59W>E05)Bli&gSĉkʍfvҚ(-yW%@ m ;ڊ,E@!4.*S!^TBTh_?^I3qbǮb BU_rf *)P[H.$~⋐{<?GE콗.Cpzq u 83<;ج+S 3 L t˥ZÑ ޿d6!GfBbǬɅ#" CՇr$҉6:'jo[W󦐘N[WfI܇Ɓ 7y6rL,d4W>:{;zAN<lڜ`cR U734^ʶ;hpo`bLN3R +4oBi.Gg.;͔k8(k] * kDmDc#O,TmŮu>(mpb‧K$a9ZQv~WnSOL/o6,[ :^ "i /dH`h< EԼM) ݉̍&{m48Xlk!Yy\Wqs]br t< /ƴBr9ZQױgYZ7zXZִF! []ŗXi%>)/ +%~`y t3%Vm(Zz=ME-Xr(Jgz9rY u 1I5)rGݼOV/Ĭm0_c&M>yLoynHIe^sL.}\ l2τtG~$i-.kydfL @ku~/Pup4, ӽ-.[:=T_6Rmzϡ4wui %,U |0Zy+*ƁRa ~ #yK 7)"ܒ9w-w=$8vt.RtFkD2oR3e{$iX8=j6ٖByn#4Y4Đo%Q  KJ#1dm1tlFA[y.c'7@VL\%ڥxP\kOxx iڪ&tF8E?M E_ b-)mlxG?mQr&J$,CDzj־:bn=[ɬ{W<T-|NSn m '=| no7:zW}DvA_\4LgT+Grpp8zrZx$O0:mGIȍ~^|l'a 4aQ3{3Hd7po_jO9a)ʾ:0Q nEE6g8`qU^ɩ / X~ɻV76Àn!law˳a-[;:E/EI+aW1u8R/t24K<(Ms$_>W3Kf^E ̰a&. ښ닺4.;7M`J5aXV1D+ru,UbYɊQVb+jT6d%(7SlBOZޒE^dʞ/Ӝ]$@lK\# fsg7wAE*.,TiR ĹcPRXj5}8qF)VQLLJۅK]Aqibi茯r)^4}qD ,&voa ݳڗqe)fUcsuGJ+kqX¢BC/* xM9$R)7>7mOŭ0CfJ9\~56v*DQYV' _w[yQkwQ']l(5ցo޷m