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 H3 D SS Decreasing-Diagrams:threads=2elapsed=24.212cpu=41.048gc=1.204factor=1.707zXZִF! 9 Y]ŗXf1-/6vRZs88.Ì[rI,lM 'kY-<Sa½ FK4 t' ]ODj"vcÞɱnkH/VҨdW2)Dqh.ݙN=z KkzGA?:CAn@V-.~TmuQd_l kGS@2,9s)7T3&?F*@Iy$;Eh Rae zjd{nAHg@Eƾ)I6c}eJʟ4Z$(DHD(V_7|WG5z*hwخA{m4a2T/,0r`#ח!~h=944g< 3 Decreasing-Diagrams:`wޜV*cuS̄BGn*l˿{$@Fs|Fb.MSP(gWƅCs;g#.sl0/(yg*V]V$rͻR?q~xX3ŀ@;YR,Ws>ZP/:³Uz=@\@FhV%IfsEY:9yb5^WJMj|l#~ZN#QeP욊I-mXZٴũVI n=ILﭿ5RP5pct^:WSB# "E% uU "'p^ o\=^_|?TT`_R3U$Vye鿽j5 2 . a_/:-~;t080W SPb6:nFӴk.yѬaI$QRq q+O}]5&g= 6;mCu?v7DgZ &S~_!<ɺFk;g -9Ѿ7?xy[+<(|WF#_RANIMgfz^ĥenjj1ȗ bqFF)]0V0 ܣ 4r/'6т7R|ϼ|Y,jB~c@b\^_ &ͻW@<~+xY  #U<\F[M_1l$*СqjW#>g)>%{kͱHOLf1ʟNJj05ՊXۈ>.㺰_.U'EAdW|JiBsyqC$5NBYȗP$>HNO:(D4IioN^7ɋ&t(-9RiVon%y!#3ܶoj~֌)[t0aT)!T8,lNfѦԛUQ" ޅP46xQd>6B؄\$ '^4"y66Vx7]՟t r ٴ-ȌL&ik\]d0oooƊ8h>Mϰ0Pa՞wP̕EM-bC!~j% e6N Q^Z:Ǖ2JHHqDu<ū}k0;fSծoݲsT (,uhι_牅Eپ*} )dF <b! D$7kyV7)})e"']mu>E].-ؒ9pN!kU,2$ǽ;KCW0]mAH7`$s_O$Q<OGQHq ~}6/4>"̓_ ͫ('Ղ1W"*ޭ/,pɛoYi1y#^P!},lFd3C`"FVUH#Ȝ.$2H|6#H̆Y;QWڔ1cI ׸颫/U/U|<.,Pw`qܰ=M4I'i1)[2z!e|%.-u/۴F|(MJ37zS1ֈ'ܱUo74A{cCz@^ÄJJ`#ĥg [`a nυh> Uc!Fw8pP!F4pY0z=ݤ\b.2W0RqNEq) r+S@