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 33J/ l|  POPLmark-deBruijn:threads=2elapsed=23.913cpu=44.396gc=2.468factor=1.867zXZִF! Bo]ŗXf1-/6vR[1u 3ܸ&S$'W+$iq!t52pI.4E ynx`Ss4LL y*%J0ExYR`2G0LBVb18$mgmʺnKF`P_ |4Jy&7PK@4<0N;+J`kh/J 4,+f%[eʇ{43'`zk#oE Y۪ɁCWiZh$ 6@ B)ҜNMKH): 2ug;x^s`K p4}#=*DML@Gx̌ +jOm NpAB.Oh~dzCkƒ \Jh .!j"?ce*oR !Jn\<.+죇 %;GBOp׾.jx^rB֡4Ef^_e@Tc]%T6¯Eud3 N>\'A7vFs:d6no9۽LhG;k(,Am*gYZ7zXZִF! |]ŗXi%6ב -|]2L?IPt1veOVȾ`%Nh3Kʳ\×V)[CkגBST*I.\q_g,?V^i#妦5kiK[ !gE1,!1Y }s?MB+ {MR 6)Q+tpb:gΤs+"Z K;%CJ\,]8>{ePǏiXP.=$?lhݝJ|MlDsP%Rp }*SpĒ0y r~ĉ]+oi DO#Is z^D>5@֐aW<(o{gOSZ=X`3y^R݊ocϫՒj/0}9qy- AÍ&ّ np0|+:B^% PD&&Ʒ xnmGQaH?]W D\gs}+2P}E}I&q0:nqO@ARzjlp6;,,Ug `Ty{p bUidl>+kJqx3 bDC~}%D:|pS#f1H'JnV OV1Y/٦%VDCsA"TL OսFWqC=z̈́TEvf8 کF1*6T M4<qyP\z [AgYZ0cecd99749e4f4e4f0eb1e6117325565fcaad58f 20f5a3375bdb138a6f5ea2a8cdc31692c74dee2e 37694fce0e46077c125a67bd1e7a07553ab3dff0 3fe6b6208cb2039d2efcc275e00a493c5bb2a662 4173f2b40848e3bf6f8ac91aa0fc719a39daf67d 4f80c40e3ec199d35a5b808a47d454acffa976c9 e182e99baf7942014270841b40355e1416b27ed6 fc61964320106a1d5751e716b19965af3ea01079238e7eeb3573fe8b8e9bb4deac28a0f3388ff51b c56ae9d5441b629f77cadaa07ce128a6fd02d228 eaf37427e14379c6b5bb0549a2d41983fecb41e3 / POPLmark-deBruijn