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 a# <\ +/]HOL-Nominal:threads=6elapsed=6.323cpu=16.372gc=0.692factor=2.597zXZִF! +e]ŗXf1-q恈͐7ӺV ༂Mb0v9?cGWBw{$Ϗhl 96L =Rb9nys1}N&ijY,+tSZ4 Q R>ٟ\٫Zi׫3iJY r(S?ztJpO%*e5=,ww _ )/ NڼY7q oݟd%ԞoX'W>GTN梚5,cn%W)|RßD_\]QU]_63{Xj <-ox.[qW Z__ΰJ8;Q7%S97cw L7I%%Oh"crfxag;ܬ8{p8Bk?}AٺfEbH ֧Řf5R 4M4Jr-*og/oa[}`u[Q˭ci1k.Y@膅4ri'ퟆn^#USu-Ol0H+b9a^͵vdd  # HOL-Nominal$a sLGRނYEfaj>uoqn";r*%7+~vpf/Yzd?( iI63 DI%k/b-; qDY0̭#6oiic҂>[&4{C- wBxlZƝp 54J^t%Џbe> {5tKFx"O:Nvwe6I5hi3.T v _:Gm[ IQ#ܞL\,w:>+G-gpH}Y㑗 K L|Y#մݑR'l^<߉%7NuT6Lm`|jsz~_M DD䏌l,|ryg1|E-Jj>]nN4L`,b}͂4ۧTXCvFtWZ5'a3aV$YQ6,V'pAP6`S zvC?+qW9N7G3ic9'o4w! p(2,&j*O<}|/[yHۙ<*pE>+R ~~oGkil~ !PH)8\,%C2x#u_fMϪK2XA}du <#OSB/FIv~V"s3s`&tT&nIK %Ϸ&}b,ux@m8 7K ?*Q_sXKڹXIgdP$/opuB"sa>@C6L۱ڈn0<N1%|_%zgalJGf`+"2I6If."_ƅ9Lrs>g'RpN$BQ |2[[׬ Q P*GA<0=f ߱gYZ0b7be302db04bb48259acb49bf498330f9feee1d 0da2a0c779f73fa4d68ba73acc7c8256db9aa224 5117119a178eac69d137fb85243808da2d667eaf 66adce971d5ecdef0a49e4edbb5ee8d5b7dcfc4d 6adda71d7b17778aab6a1dfaa6291add1cdbee4c 72a18a7b9c794edbcfe26cab22aec2fc38ca4a15 84d02217878a0ded53c9969d4cbefdb5baec3adc 9bc5bf9a2449ee6b95470c832bbfa8d7fa97f4a1 abd154de58055607dcb6b8efcb621e40c5efe9f0 af3a0cc7c2e7a5792f1be06d056e20fb695e4477 b82d63ac48820c09a7c175c7d4a1dae8c95c6f7b c9a7834754ca020e75afb9d98e309c88e75bfb0a ce168f5c6ec1725149cd64ec4a6feca6f681f8b8 d75db1d9c8bcf6bbb6548235e3c7c906b36b92da e98d989b0d56b347c6ee1a9d61645ae944ef72e3 f612bc828037d6b79efe4fbae9e84b91c46ca856cb68bbecb0ed1fd634e66b332c9022b3f55bd474 a756d93ac176ab627fe515dc5c3d2087811b9820b43a62e6e939548bc93d3af1b330a01cfd3081dc