SQLite format 3@ .  YYQ77Atableisabelle_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, "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 h9 , +S Decreasing-Diagrams-II:threads=2elapsed=29.062cpu=44.640gc=1.740factor=1.547zXZִF! ]ŗXf1-/6vR[$ッO{2V0Ս%LDp [ Puz˙453{oӍ +$? 1fjuZY0 j9$养3~LfwT( WP$`)?9{t4Ws&h76vmIA<4B%J{KT%}􄣙-,!:=ʼsBON߲ė> ,*2<G=vVB++ufڜ_OGTS9$Yw=ύ{鱖KU1\XD!jptǁ3 <2OW[ܑ!>gnQȜJ|sR]mT Ҹ‰ %ӕʌ>'E^"Z1tj `ApJZwnY6ր2[L1rU!lex˔*LU\c3]nk%2,bzx*Hhh#8u,j8;ɰg9%z}w_J); /DO.#>u[?w0n7_Gz 81-_UD ;%+zO}W (wLmK1fx ))`hx*c>4gYZ7zXZִF! u=]ŗXi%|~ WmکY\0uIFok"ء*(i[s*~.<}ROW?2;X|pnr<AL;5v$ʪhJo$C8im54k 3VOS+m[4 ɛK8K; ̄C r &R4fƤXp6í9%D;y㬭\0͓(p29QEpX;]@]ƒFHl_ifmH0{FKwQ Z^-8@NMji\fPֵVL]a@,:,ĹRE pHʝ&}rN{ /j-z#cYfhůf,!'G2# Ve(L-Fo^=*-׺  0VgȂڕQ;wy? s,#u<;* T@EX  F E!'dcjNGeh% ^TK]gM%/:PrqR7ְj9+1bo5o5XLIM3"/ kޮP`l,OwT8re.VGt԰G%%N0<{MݲqMN9BR 1@LvXh p541)PceGM=MvْK85ZҍP8 QyzC1uf|xc'_~ x&*kh B[t5h}"|O~5a<ْڠu륾 ^o^K2g)£=eqr7A(zGÏy]n<J˗^{WDa^@%ybfRad > anj:?k|c:+F_Գ&qbFcs'9/=tѼ]kg;#2[-s~ꢽ$" !]hL"2ʩ[YY$:sg:vvY.$yt̘҉'DLs2toLPʱ1pH_vbmsةهx gw]G4͆gx!Q/iǿzx/,+gAx*ָPOaidE,ؕ~w24:,'U(񏰭 $s)ӼZ  [`۝e> x/cb`Nl5&2\n~Ocɋ>q ymuFױ+;E`S