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 ( t S Show:threads=2elapsed=12.795cpu=24.588gc=1.268factor=1.927zXZִF!  Show m{]ŗXf1-/6vR[]uX,,mMFa2LU0("jvfVF:e~"?Nu%&u"N \,93?``g88nj3"mz҈(s,;UX,:pP$I?vH X4D.ᐵVM *DRA4PS=g-l~$hݫ*D1"$C93|!i.U-x𞖒gU[} {=|a먴%U *Z̛ (ˆ] h:!ff-u/dN6:د -P|T_<9.̎K@AV9&ȹĐ3#QNwV6/Y{~o,}UJi৿|),0|Zd|oSVmU řϪcRi݅dvL4lJ'M/NK;B[& =m/zoKVŠ %*H"+$$!HӢ3M q~A RֺQw;WW^cwöN [$ u| o3TYOŵŀ0iӸ@ڹ K]Thƻa-1cGġB |fmXS#>ұ酚4Q=eߙEZc.ѵ{vL6cGyYA~n6a줈S.XNt?/(=L{N[k vЅ]`0"IAoݑءeUٜx CJnP1\7hSXi8Թc`s9JژQIa$$xoJV3ҷOFd|z}%%K#!^jA{`^B"4CZ~lYCߪk6Km9 v]>g/8+m{aixzdQ PX)+6dLx -L˩=QH)wy$NSOfg|6V\r`73 g&7[uW8D/&]CcP6Q@*=A+D%W sd 3QVS\.蠅ԛ"1VBO^`"Ѣ+AvI_y&0R<&yL7ٲZEֽHCE-NL,*b:/Mfκs81o*x X Z;{G':4*OˎBc|π%V~1GCXa ]&s.f*7)b5;:?Uq 4~7:>OaƹGƔr-X ',(ԩ'ZFZ; rߵ! ү?bSaHŽ{9l"ioC⿿ۉֹLҴis/x0tpaM$[L*Y !HĦ^xbM-N,L()) Q5/PtGo:R2oW[TiCl +-6RFwbec _?/דRsX{3{9,H\)#}rk0~3|삄ߓ2؏?t(1\-YdM[eql8#C\FҧWc_ǥZ(/F2@tnЉ+oHW͗ niI-H ~SJ,v),bisғꀤswN#~n,J kLZW s_s}LHA+?OVE!N\*p#'jsbf_ SX,w[ j:%~^}Uݼ*h$:$WH;=[JlW[S L7 'J q,A_ 'Kc0FS uN躠4E tl5*5~dhtpI*%RA? t?,5ӋO#9jAK7i9ؼdּH(F'v7FǠ_DnT$mU?gν'[Wc\flq.:Ŵ ?U}bTS Ba~\m@Jx~$p@Rn$OzHEF/TۉS8!d A6t :m2lT#`D] ay2ZvZ6}qO YMKTca zƒUp˹;` %XLam!i­H ˵^B"'zAp2p묖'(.%'ku\Yx 7ȎP7?]GSH`<> )AH/5B‚ n.cfz2s+IT%G<`l``T23ю/] KS2FDl֭n ' 9CX=Ba1Sh| 󜆱gYZ0e92bfb40c58ec80ac022b0282cf2ed21656ca51 268e812fffa5c2fd46f0296a94e824c975fbcdaf 3122c5b55089566c74375976fd6040cc34c326db 407edce55bc78b9aac458ee75faca6679202c9b0 429952f9b1ab48f5480776e72dd795c832ab4fd6 5fcf31c65e33c233464c7eb2a548da2bd7232385 6577b0c6fc13932355b22f0f247d8221b21c07fd 8af5d309cec3e4b5d36d1001c18ba9f8027354ac a398f633acb0847331446715648ca76ad5884f10 cf0eb34815c10b600e671c786585de3d3713e6fc e4b67763cc44ec3783072429e27930a57fca1c4a80f4c0c8eb04f92fa9b72ba73b988fd158f20be0 2e0269c995c52ae68d15e9236e33080611f663f4 ab8b0f5e11437cc3b3ba93009ad67ac171c6a59c 4037e2500af26157aa953f6b3c758ffff00fbdf3