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 ]]1 L / Recursion-Theory-I:threads=2elapsed=15.826cpu=29.808gc=1.268factor=1.887zXZִF! d^]ŗXf1-/6vR[O燸$)Fm\ܝ&p+ ?:oHƢho4 6c i=.EWX 1 Recursion-Theory-IGߌGUqNuQ<X@)v@rV' >i.ɚwc3%'T̰7xADB2UMPyU D,G]$3u+_@ElWt-<$|1UOG.y Y敏 lċf^kroS9 4]⦆Ȯurvs,CP|1s 25F@>\w0ށesB! Kx-|ռKx9N|<$=QlnEOD@/|r1띺AiDo{nnK2!d(L:n`eֺ ;(?)=|$)»ypCYEyCPU@\b?wۇ΀t;1>bf >m$Gj)ҷto:͟Fxυ0䄪/ƘQQo ]Q'᧖M23w#1E-<^g.43L"v59`S"AVi]^mk NّZPȺ */7d&F9En$'gByI zv {Hu'jb3/CkQ6OD$&yEÒm)Wy;kHA%]xK47]O`h+dq7P>gEb_/)Վv,@Sܶ& Xe;HC1K;L\Z7{-T_TL'}uŘJ9Qi1#dV=n6)Ԡg YtM#._{=HD XF,cT@Pmǝ6/ @rq_S͟ %#X>u͗q1Mm_n0cm-EbX L4%XAo iЊs]Ẇ3^UjwtKk)ʴë8kL.7{kw4I$Yq>a:GL-nvB ؟c} 8΅mБ<7K-M) D) Қ{.  2,t wNgYZ7zXZִF! [9]ŗXi%3O$ V$C0l;2k jre?>h>Bn]nʲ3I\YK,Go :@y˥^ʈDPL(e0QDz 3^(U^0>H(FU[,u'dI}JVv"hV%&5p\IMK-n[?(( {'{HOxF9Өczn:˪pFfc@lT,3WqMNƏϭ| [jz] P[R)1,;q˛0ְsI3;Yϗ|rp$"} IogjQ̠oғiSZ9|,;cJD]AstCaXR%]:yR/4:{tTcυf~#^ү& ؼ ́zYi0Ξi7:8?^pT `d e]b)iSL3Q[7Piee$^_=*YnVk|R.l)h#YF2w2z@|=}GpOҟPK88N@Eָ}~00fRF1Z朏$D9`_&g,[lꋥ%aCspDvN gq&MIKk6եC|f5~MNYYgxD١*O4ozIkFINŚ1fz-M: ;34\]9 ?U؞/V.EC߱yz'UyrWz߉oE "hM=24Mc%mpIZ 0KiA/0s ڲ tR4 sEJZ#a ]t6.?=eѴv@zU㏸VYdc5ԆO_e O44+Z VɢRؿ}^+j `:F.ͯ'%]z~5Gol >DQhh4 O+}|EWz' XdODdH+T83h|&(]i)F\SCsQSXp㗕rljo^5,ۆ(xq|t)t