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 ] LL, ]/ PLM:threads=2elapsed=32.255cpu=51.988gc=1.580factor=1.617zXZִF! '2_]ŗXf1-q恈NucvAݪ4 c?[ݍ#pdTMR^Sduh/=vxb"$0:ZOѼ[|Nؑh>2 >j i|cۥs`a\֓z|C>%sjoʩ3㑳T_%Y@j(G#,ѕ-s+]T2 gi5<ل*餿+dxyrÿZg6#|%"FHMȐ~w!8ȸJ)C^=HqgN!oLZ<@bX$:aEک;E\OVQX0gYק/}5c}Tͩho4=$!"_%$8Msp4ĘJemAu'GP,v98y?ܼs~}=[L|[28N5ĭdvŔqo\k'~tk ƻ%Rcid{UY( ^E;4:ґQo7ϮVL o$p;ߌTnK `B֖/gqZ="#bs$n"b#*p h+>cYk8Rc S2 FvjNx7gYZ7zXZִF! .]ŗXiɟ1˦r p0+7bOa\ CɍvÅ NHy toلЇߡ$j/;5/{^kБ @PP|>6> =4xb^'/F~B;3[C)3|A@|c~\@DUW%u\nҎ6c,[e_1P\Gy n`k[tKIsIe!x^~^] 5`gYZ7zXZִF! s M]ŗXi%923NcٞԶ,Dh zj 8P0\N&bZ/b W q e*a۔N6C8^@ܕBcp1ҏTMa۟˨ܕ\fJwǺTFKL5dv98ڨ+ 4JdʈVw)Sښ7ùF>^==-dا '@Zg(|\qpI\Hu u!$'W{NWQ簠QN˂C{Gv9 PA>$`2ѽ;1"y ׵23@[fR/m<$N؇oW[Ni @>+'0PnX%a܄Vcp1`"IV|Kgj(d08N2&V>9!;m#b5+/Bg|JҰ/IЭRb~fhUV@v0!+-vz%c!`[Z#:m!A5,Bᴊ_:-`Or $Wa, ᓒǴPVq” lLT-KZB 8u-|o P2s^ߦ1*f?<D773]H0菐S-TTڈCȏ ']i3/M8mɢ gɅ]&vR98Fל G=i@ P5 F9lT eE^^ie6+C RDO+X !qFD;&ZAYu}> S lžr黕i}D ?n(5O2<VcokeATkPcF%g Db>"׷]%.Gg_Xm2,\N JkbLd4D W#}S8GBd W'wz$ȍ</|jb~.|!ݳtOSvDX靛fq50Ed;+Z_ O %n"")tn~ʙ T>ȝ`Mfq0i"@ PtĚ;?(>r.$9ԋp)AaGQ`Ou$[N,+{X-(/(SAx<'xaPţP%CL^6 >v ެjD條ZW\&sX_l.BnH{0-b Oܱj1ȂKTчA~ރTotAR</dbYɾ~~uLk2Nrgc"M$f_7/x^K~nPxݲTe!RI[7)5ؾ!lj\ CX(]+;IQ}x5H6\cJF?YY` U"67U݊ lH T]Iq1>,ū4qu,,|f0^pp|=.$jFB[Ģ6sve>&";0 C^K6dpG~L Z3]?iG- ep0^DI9{~% DiH!tr?pe2axM9$V0]- dkY 5,Nr< ѠD uS(t"m%1Sq|M2;׆`hҙk);2S20~rbn8V׀"?hd(6y8ѱDȋ ؗbEZ5nAA~p~ˠyc6(r=nLQ{إD)RQ嬹R)7;ha9c`/D K+׾𗡡`zl]f XPeM57~ΰ?FgcpDC>0Osk=8!'&EnVz߶Ek)㼁EC3DOoؤe_gi6pU}]8&r#?J3g=$Vޛvb{FeR,d~~)@!2KQS($(اj [}N/'%Y=a@OQ\2Dž& O# PǁSS t ߲`fb$dᙇ@L5.!^.PЦޏAR IdxEY>t/gYZ8e01a5a52993fc6987dd3f2ed00944879ba2a328fa7050467ef8f63fd56cd5cc004bca4176bf5785 29f89a8c8c3de749e3d8f52dbed7d75c52623d3a