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 -% Dd ]]Regular-Sets:threads=2elapsed=48.583cpu=82.576gc=3.568factor=1.707zXZִF! ]ŗXf1-/6vR[O CИRO!,<^6܁|kO/gMRg~ kj'UTzE!کq&+^e$|xi7PvAphrS$&&I;i*pn()HT 6Liа]``7.j:ՁXoȔd.x{y\kB{~ )޻maM] y%/yè$<{?7vty*1M/p"$7, >V>jh$\Kpd:0o'~!9eۀ['Ϩ2(kbalb63r.nӽwAxR)hl홽٣f;΍-]WvIխr=g>\Wg/U"pBߵHUn`fcj3OarVlYUj.Sk'=9LyRLiWg$nD<[P=9c5hq^vO guuȍ]勸$Y9CV خtGl̃?׃O1@ 1D8EɢWTt): mc],\D`M]fg^+ƱgYZ7zXZִF! \ ]ŗXi%6},X:kb$&}v0wߔtqtώYO\BY#+QO'ugږ;1%|}zS4lqa~ 0\ǣg#Ʀ _Р{V0[^V X4Z9<: (/D!c{9YP]OT($G[cyhv~U,̧0P緝b$4\ɐuM:5cMoR/KR*f*| it-،&ʃݿ2 \{>A uP{$P9KCyKe;Eɱ fUre?k}c^oBu(0 sΘ8f6&yFq J5.í8 TWmd_%I0kar ;0܇4.##h2{[ԉԕ>§yU2 %SX?\1 yYpu2Lzfp4̝6a.q6*w?3O—kh(_yf8kpJJ`_딟~m1 _va$&c Zr*p=*q4"'SУ%ʭ!"*ks\(0)tzXݯ~A2ݿ(nbX!Ǹ O^`:x:}*L*D62 Q /D4$dAQWV3 A9_ms}ډr*7Z_THpS:-FI3 7 r2+PBR &Ș\%/gzeT~J 2[uB' ;NP1!dJ#Y:RU `yqKf-aȺ\lqSAklCT.qҩ2Դ}cqW%8⢾w ].2To^1P1Ui6^k-npcoG^KqpYrЙ3_n˜laţL,`[8$(ǞΘ撾QGf%#IA;XPФF< >-}>&|$V!#ɫG1Lھ  s {V76,aGFv)hfJxlr}_}%~MRlؙTեIusHVz9N !/*Z4tq]}6UcD_!GyىΏ9vM/^XCi|,]<Ɔo"NWd%ןwܯ}󟪸u0x#؇ ( /:5#Ak= '2>oƷf9G4![hPRYԉW#FQ?*|!}zo` h] Njq=|P:Ge A#HtT5gejUvi]zcBs(Ǻ9%zzК8m{?y}Q CŸ|B\qM؋!%S)XO5ןj 3[G.\+WjleqeCCR/::Ā]e P2}T_PD*nCl]Mj(Bv $Yk+A8.pLlȥ[ߔ žC@Ԉ 0i+LneP2I(^t X(- U[~+SHơ,zlMZʆP؜h9?Ls&ݺU !&^۰n%Jf?"!C!t)DӬk>~%mXl\r>/se8eɾ] EKy NE]46FWJ v2RCJF}"x`{oWQ}/`J Ѵ~-p.2j nDXT|MmiFwX kn\Rv0NFl $K:ܥ\V~j=,vyq$h3 _x";˰:ʕƛ 1 >_w;̯IxؠGVi" 6!gYZ1397d5b8f2beb75faf67aafce79799db0cb204d072476e49faf5ae81b565cd9a808c77e6c79a7cd3 1847274f423d78a61f6a5c9cd14f9851aa9995d5 8e5e5d5cfa70858ff1895eb50ef8214eb9d9ec28d803b3107a97ee03bf7c79244caaaae2e48d7406 % Regular-Sets