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 554= tL /]HOL-Nonstandard_Analysis:threads=6elapsed=10.791cpu=31.424gc=1.084factor=2.917zXZִF! |T q]ŗXf1-q恈͐7ӺV 4{ŴH}UCkAF#YD`SqHpLQਰ>{gߏGd78_/Tu? G}ZpS-Tzz"o@;mJC-z,I3|p'#CVi+W >y)OXXPILpm{|xsahኻy{"ʼ6U͝(Չ o]~ro[ﰅ+,[\">%f,l+RS 7&`OW yR' "tyZ6I*{͈Gi>3> ja"ab޵327 (]I3̼?g%vijߴ_Naa]?D68/'rB'#<–W=2zGa?f_Z8~+[-"O*pxqbc޴N 2|i07#ck = HOL-Nonstandard_AnalysisQv܋v3L$Mi7vS./tE)^]wb[03+ Do݂L̲ k!0XizwZ%T`jXTͭѽE;MoY~4hƹ KUwr~Zˏ!J1@Y ]ުZFԟ5$B# 5$D_DIz8(;byZR$ @'U>~įD &9΋*3'Ҙ1W _j20b[jܺ-G2C*sv;zH*%%5OF"wKk f pBT 5L#m `tMg,vb1 Dh>5dU' .Q)ޡK3p؊Ev24EkBGlnKK(I!B S e>y@=723l>=OBh4F-MþS@AN\ɗ]|z֋γb{z92U0zWؗ"C &xի Fړ9{e.nhO tXgl<;ak1}4O>(R8mBѤ["hыW#×ukwy!cmP!Ի_2p~<>@a;J*C}Ec;Ǧ {ti.AF8^r~"h^MN: m6^U~ <(͝]81&ٜ~xsckc/U?Xٮm[ 'BG>aYċ2bldl|劲ʭZ|ΖOfj11ܻ~*aw^,u˺^0߼) k8ߠ sKpO;Ly)SN]^8HqX XNhŤpQ֡$c Gw8ܖ4eFn(kk㰸bz$XXO3@\ z:W9[ .T ֦j2cT4Q]uRqh$JܗC]UyLژKamvc&Qh@#@2X&I@lGfyf z #'VO-;B qJSd&jɓ431#U_RqCr{]pC "GH=ERUX8ǎ ^*>+1]I݃Іܯ:~a8m,j]% AqgL!}K }c/9mShkg3(/A:1T/ăҹL(/`~rZM/k3d~`ƯX &K(gרy\aK3dearU85<ֳχ5-$dZ{]թRZqT/~~W[~,n].MrMyzSBuyFmڨax'!5%%]GuB#/Ds`ҵ͠Ú] P |—SD,/zX[f>[[$~]-b d}gYZ7zXZִF! 3]ŗXi%}bo;[7El)<8r^^DQHIᑖb}J 8 چab1Ր~ ZH;etu\ݚy%c|uj2{4LbiH _4o'ՖDO{d/W?*u4 !'fYl2(R{c$5Bh)êQ@/jL03~:h[Žֱ$/Y,dڢ<+aU;nPYpĕ bHEDĮT0mGx i' %,)l$?NFN>d)]bÄrM4iX0LJOA~ܒc[IC:*,ITU~ɓ_({|3y`eD-V!GzI