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  5,t Sw Hermite:threads=2elapsed=74.558cpu=119.916gc=14.164factor=1.617zXZִF!  ]ŗXf1-/6vRZ*F"Q$)/#|2kZoAh\J<xwVUrE8m6)V=/N} ">.24w/HķH`ym ˠ<SLOؒ,|uKWs1Sqk^vr{{]Ca5nnN5{F'd:n15Ti KWtX'OרHg~{HN*!2xƥC˥E=6c(&:úqCN4R/E)Q Ps믯OŜLQΰ@M T\l7tY.!ۃD&o0?a4-9( ܫ%~`v*T6i<wu,h!7(ngYZ7zXZִF! I]ŗXi%6ב iPZzJ61]8A S<ḿf0RÚe:?P@'ݐ.~m)?*Hz!^E(;{^n'   Hermite ه|dבt=yR1nX|EF{f pS:R!Td!Fͱ4OwGB]7{ wbM7٘^رh=1<;3 + IP`NdW ]v5%5i:BG@Tj>|i;l(w\b}ooB(8B̗Bb4H8IdP8a_N9W_[mp[ vb4*Kf{}saTn`z[G4GdnBJ'6ͱ0ṝVLcCF&AZXW I 3W/x}_~,S#c>R[_$v}X@e\+D34ߪ2~B_{I?u׈:){ڏU5WeAHw=sOO0ܹԋ He0U$P9c:RsfYT/e;V@m볢;_#nz\yab })j T>sC7@|{~6+вdcI볛NRg&Nj?& vUCQHShraP\>6Q]!k:bFh[Q9'gk2aKZϮFT'7Pl'fM7ڊS&ԜCdHW~%kcK; Uf]$"RG/w!&>Ҧ~26o3spG^l$ߙBA|w8]R\Q8E8 ZO7'gW+yy|m[& >ԕS9sv}Xa?TyyGB:zÛ.HGN LS#nHJӍ^:Pk> ՂY &jqƒ{˘M(gc[ϖZlCUbM^8g4uۍ4=co::b]GqWn̊3T هט΄NEApjXˡtp JML[?Vή2zF.,"C+N ^Ӛ,~<-жAFDGNA|h=,5)6ܙ.yJx_)Q{ЩyDQ,WN|(!%)%ٔ7;&k ]7 ֜9\5C#%A x)k؜-G2<Гm.Q qNϔ9E|cSq E1}0 iAGJNXt OngV!  `כz2P>N[H}ϹZPZ!(Uݳ@,g9GB [_#h)c"џ,2yW4S>fՎ)bHZss 'YQxmڧvv-:(fq2hOuO ]X;c?H">Fm3P/aGF)F[Ĭ W%Ȏ`QjU.,%lP 'ؚg2U(0I!ɴb_OU'Ioj.xs| Vݴ> xhW"wbh).Vhm# 5)]ԯU$FZKAL1xVu?\`[ĦEcRTuv]d:IKa» lq| S%m?N; Q0]ڏ'oRKNJr5` L6bz^/ yB"{|Q~2;XFCYz@{)%l@7x޹[Џ)ƒ~ޢCSKnM AyBn_b 2NmR\X&#>#-|/P :ğHBIFAF 3?UǍUYuMe4;;f*t6DգP!Fڥ m8 ǯq*2yv:߁8wqO^?v֎x#Nxq@O+_gZQǀXܲM׉)[R=ǃ|*!T]Fxth6}pw %úD+º`sy Ww3MfM3v_IDL٢|ql֐eh[#B3-(=S4f%]Z!o1AQwwi Oi ,ʥ48%3g;2cvu4ř~^eWbVԶTFwmd᱔E-3+5CbD e{5GiBQ, iw{8Fq/nydm':5.$1oSjX})\ׯ 묏ÏjQ|;xIу~)lN6>S6)<s>PK=o2/\ d>E~b5~ >O1i