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-Probability:threads=6elapsed=53.049cpu=258.908gc=11.776factor=4.887zXZִF! ]ŗXf1-q恈͐7ӺV .?2ZfZu'Q1wb^1䒜ʪ3bxQ+:!KP.D y{z!\9 wl w kӍ67 a9 5A=*"\rT݌dZJ0?ìBɻA F򫆨pv/#kU2)cr\cPsixNe[UE)W/MN|6*47!t9n tvidxlHk۰p_hǡL˖KéoVfy]v *FuipF.9pcM=ݸlw۽j6(2ma<ܳ,ϸv!&~īނy!w%%K\٭wHVY-GHv1q>9ɧ*MkhͬޠYx֫FHLP䋛&p >jaٍD6Y.ti]yJ _]C`/!?4r9UD5 0׼&8† rtsp޼yWbC΁+Yӑ8(v ׈3J.<˝(H + HOL-Probabilityjzɳw7AOY٤F!z+O > CT94$q[w*GktXee%Pog¦tt,jgTWGɕ¬U;}pku)ziC:X¿ k2>*S,o<?םL4u/<ixRcgBy~*ǫ=xrۑdE 5o61646>!xvlrnnp<0Kk(00)c7_T} 1&VzJEE\Ò)WDjJpO#5Piޔ<1,BR^)emZ ?ƈPy toR;/li^MRZB茒ܱd WY;E'oj +6^ =|;l/e(N>9|i `.l.e&Wl/i>?P 'e#<(q&in:I5 !@x}SbbKzʪr6T0 }̉8Rp b>AN/VoC.ԇ/T uo1L_đvAh?UMBP>I ~ewr帘t8$j޺a}yz02> ;lGQEH_c㓹֩0Z-+N"m%Qߡ7 ׃IVDp71ꎨ GԈۑ(V-;n{3'3JMfSBDDOA1$\%1FhC tU'LHx |HeD7m#F:gRD>[xOC `x 䵆B޺׊"?+u[#3jتd!sZGva% ^8I/r||2xqNFNL+Szڬ%MaC9ԣ}U^m3Nu[RY=1pcenXq+T'xЫWoR eT\vƥt+Lj*MF;o{+&'ACY__iJAZFV (06.FHMU(iXgjP-rE1S(uKBYA`HqymK''\)hD]kСo)~}+]dՁktV@:9EOyvw uAD2M)Q2gUhz}8$wefnD-Ic*M#b%9wG%-mOLݸKL(wXM7^%wwi҈y/T<BpQ/d$a&'.u& r ̣{Bٲ:ZERuFcJ!Bݔ/AwȁT?Uf_ZKN|C']^\!E "[#-A-k@RSv" QA,Gq3QfO{#+1U|x[yђl;.-0T\^.קApjc3qmuӸ] SKͼʗz1"d4NJ''\o凢. r 'BJ{h!p 7&wɉ52sLkѣR' Ʉwak6k:4Q(X mNOqaOqQȳ~uhi #7͒,gSٯ%FEqTks*EDCg㱬k'-fXL;- $l1? !I\f`אgYtOnhdvHl#G[Uy0]oׂՉl񢺦d͵)-\ɜΗ:҈U<5bVq<>6_W;1aG <߃{}"1I?^n,6hʲ~$@n\k2MUh"ILKO‚3:,gk.>Ict; [X^WhƱ; ;cőq4LBB鸻o4O"zf+נ9Ƶ4t >"9FB OD1[|ÞJ%>(bR! `cqfI޽rB)YF?/qmU8GYWfzT4V͋7tRIO9:CB3.C%`-P:ۿ2u:Ijqξ2Q9WOфcS`!Pς ulA)x,7 #Sb1>E~14V@m~VKMEKB^l=݊21ZjJ P2SaGrRU:'$]@ܑl[|@U%}7Cϒ ;$5mt@~cʛVB0YLMˆ"+8FĔԭvĝG27wN<9nkؓ SS0c#4ae=e%)Hƽ#(E7D†3*KŏD3'PRVB&CP ɷE*IrqyLͮ2:hN;vsX\Lb?w7kSPJ42js"وԄDZ_tɘ a#jmco}¡,sDO(F<0(6*s[bZf]<nV6]kȭÓ!8g)';ai%PMѬȋц~jr ]õD|FKYWzy,v}uy#\$ݧcQ*1nB ~&$wjfiwx 髚iۼWIGhDHӜ|L^RL??es'IۀG#}~Uq.ܬoѡ 9Ύc:al;egP{ԍmo)s`|-uk ')5[S5}R- gP\A,6k `v;\<nnM82*w N_CMII@08 *u(}2 ;Z5]!Lڲ7ӻSp0\>|.RsE0p 2fgYZ04b01b7a6d05a1bd8fecdb2a11fee5671e7c7d7040d35f92060f57be7e534389481a5efb493217ff 23dce64ed4db5c6ce048649289ec788386d1a713 09eeb4a690f46ec90bc895692faba63004e38771cf1e145d20c66a53643d519f008f040778cb7f99