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 U1 tL ]Abstract-Rewriting:threads=2elapsed=32.716cpu=55.964gc=2.740factor=1.717zXZִF! 1]ŗXf1-/6vR[O CИRO!,<^6܁|kO/gMRg~ kj'rƲޗoS&9Y.IE9WDDGѕ1XtITϦ*dX2.cDV. 9^GBXR]:.+%zҔe`I |Ld`k_WGDU2@#-PߎpEKŒ Y @lԏRAƇa4~غ$F5gLI%8'`u]gki}FjadW qm|T]7A{qԹ 5q6 C8}O }`Wp:/b <l5qW*5{&lA.PN=.7u^wDH4Nz> ORu%,7?$ OvoE|c徕]L@/&` Ͽ-渴;a^t?RqLkaҋ_"V;[ZA)#p\XncisC"`6<$7SE6i1v ct=~K>G[X40; 'y&.giBkJLiU=uτV E:4pF('y_#MQx +MVSz>DdE2;fn"c5D߶zLJb&}\NiT!; YgYZ7zXZִF! ^]ŗXi%6y~G`7&<1o0j}l;T=T¤jlhv: PAUr zt!qc|>zrAg\O (MLji^a|=$BQrz%b4)IK(Mcݘ>:#mhh*F12Ҕ"̢'ZiO>͠/b5R7øE&-%3q}-snTr 6ѥg6n!M/)pJY e#U_>IUCMDi=vYuD]UPκgE:^ AP-bu*T;2͋lq&ƘȕL/$_k֘y}>ckU|ew'=5JI 2ֻ5T2pL# WpL_RH xcȞ\ߵڢOֹOev,![aJ4inX5=Ӗp WKI q ufF\A.dyj0SD&Xz?bI%j8 >sQ9Gi%hLU (M r"Cn SB:>`=$7j6p8auI]gExXrR sH_?.QXa k>k) כ[= sX9qaKݎ&A(;hң=]qe=]E~_6t3=|&1fBMRi|qMB͗Χ>*չXff&". 7K :tXyIiGMRp #Y4]MjtluI9|jmA`?;o' 99DfNT5@rЫ<& rp]&ޕz"y(ד{W@./5Sㄿ5 ٬ U!Gh5 @.&ڈmJ uL!j+ MU_t nwϹ9&2ڵxrYiWr8;u:#:jmӒgYZ06449ffa42e3ad9928207f59223e44cf25b2ee37 0fa41d9493629a0b6ac0a7a9bbc691f41ac1d7ec 2668664a4d6ebfa0a1a122ac595e6b00afaa2b3f 39a8a766be9f8e6946f51349aaaaec15ccc47289 3d085b2f15013ab9cdd8983b82002e5b7e45d759 3f397fe13f79f49519626b00201b8a6d2d263070 4b27138d8d54cbbf4f923a22265f7f3ceeef3354 4d7593beeb8de8161a2b0b3016eb39eef129d064 6b3f34b31437c70042e95bdd0a1d13e4c08cf201 73182e10856c891f435f0cfadbde98444ba98426 81de4762b4e143259c5d9fb6b097811906b676c1 824ffdd9ada10c2f424ff25f9c7b62a127a40fd5 ad8bcedf54dabbe9711293e7a3e27bcfa6b14d82 bbd26ce1c989093f4b03a80d62bc89a55884df52f0df918d4045ad6c60b23213b65e87e41842eac3 e02038ad1e9503a02a8e11b7cb457877cc454f98 5e2d9fe647698eb3de122778d18dacd4a9a661467a21c80d3cb9f4fec6066cfeb29821ec2be1b923 1 Abstract-Rewriting