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  ( (Mdl Sw Hermite:threads=2elapsed=69.367cpu=112.804gc=10.380factor=1.637zXZִF! :*]ŗXf1-/6vRZ*F"QSZ<):g{  `{妰l23\I+y]2q)"E-,7g&fT_)ƛHk`]f$$1VFG ]_Ry}neG]ޚ;i$!T!Ljܰ6IvӴ .T*" 3<S&T\ 4:쵊ߓ철3@.2J7_}ݑFˉ77fJ:7ac?"kH1]t{tX1j2I 37.uҡ-HP#XYȫڲAȔG?ɝ^Dcged"gYZ7zXZִF   Hermite! 6.]ŗXi% %4f:Zt8;'R|@of75` ]㦜"a{p23儡~%F"NNa䬗CH)npm-v.~P+DGCe -#J$o d4_@MCՐy}k DK .vS1:Z,"R$dqD=TW-B y~3-W{#!q/0pϺ׫˄PAC>u5V;|`Bܷm{Y.fmz1PE ̧ȏ%(DVmH:Oުm qeg xu6sN4)qf'86J?ֽk+}%JW &|iȸzvn;0IE>ﴝ?4!w~WrK-=ix+X⑺i{ NS r`'3^K%CX;BdzA8x]ԃNL:H鐲 ywk1SL2Myx5Jy9rLQ;H/5 41֌SM _N[b[h&7S St=){P1i( Tt׮)˭I nĈq<նm80΅Uޱ۾X eniy„wOclׁzw3^!C|Z8Q2Gk$~;_TŜCrً%rݠI(!o-@ߌ{XN/C(mTGX Ռ^SDxC? Oz Sa'6l!:k\i^6sTfȜ~FjN':_{Y(QI\$!5Ozӌ^Wa$I)˦;z])wcośm~&, LTĭ+BZƗsr7h)jmAi5r$/-&;W XkQt7DpmH +0;!KQ0*60~]m6Sȉy7$'qܽ>*~ 5xK%ji) @z/<3v(%q}'YV&ux9g3_=r$ xY3i}AυW_ǂv@NG-_<.zw&kyfRAD\ElK(N֓h42df;PZ& O`P`{3YC>0污(1fI:\˽l'[LJl_ZB"hOxCOf(,I*t{/3x$Y>\1ȡ2CrB6ԖăN TjKu0pԔ5fiVb :r 9%'5h#R?>\(?3ٹRN\ߒ[qk\1m=^qBdΠoi8)iC]YVnG.ZHZr B"sʧKIDb4jlOv~tRE}mODה` L:H 3\ dxG E,Śeq# \Xa-b+xjyb_5ZC"vm 0l,<_Xo_·ӛP^H*MݔhٽNwڅ'm-"3,y+S_m"RRҭ}G]6s/8C 7)X߮tډTRL?qx[S'}bP]~+2t)]U}ٴurhal(,2„hˣX |N^e^AQo0 V[1dyν7Is|rU=^.*7;q,UhuQqמ9}pj VH0z9ONV?fٰ\f ;rIwt܎cM?9iY=ǒ>ħl+f"M$#L;٘&^A~?G\xgYZ0ecbeb6985371fdbf44a0f33f3cb0a5fe08ee670 4179fe3432dab15034779bf4ae7667b8a33e35c5 5a591ad33ef46abf86e4540006fb778ce9ca002d e9bebdf05d120266d95742efb3f9f02ec59295ea728eda92c596448850baeaf541586ad0cbd7b32f 9daf9b2243525f9f5d1a1f22d380df7ef09d72de 3e315ae02238ba29ff4dfa91456277ea298bcd5c 420661ceb8b00b46fccb091902e005a3c65de64b 02182b45aadb0d8356d66d9e1f182d1c5471b8af f07fefe3697919391ccb6224aac45103de84d6b3