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 6+  %% Cayley_Hamilton:threads=2elapsed=5.512cpu=10.112gc=0.332factor=1.837zXZִF! F]ŗXf1-/6vRZy`ج] tv#[/ ;=!{FfBc>w KLTF(2OUȱH *.4.ⴲeG̊f4"uJTMLݳl+˯gZRU+G|3I45u؈tBTnZ`X9w#_Ԅ_mP/g1O7 Xw3Ґ[Ynk/4~n左7  >8? Ή Dm_!p_6ڷQ 5yv%ǡfN3D ˄f\p#Ԑ-2I|P܌Ҏ+f Bٶnʥ9p(vĄz 7De7JgC]`%ҤE2UU21e L#o  ts FT@Bu h$'RdO˄Xer>V#%5_AZ,Nv8!rxV3aUIY\黻1nzƠ6 04t28XY_gHR[p W *tʈ0i=,XkYH^YsL',tCD Ä,AӤʉ@m0Z _nzѰf;*CBN>:x`]\4{#)ڳB9Xs"lO%: \c=$2 `˕A(ӃO)iݾ2)DB6tzd 9+zT#Ƣ'NyQ*^Q+2HJQg*'8fg̩i9agr`c[Ϭbn( ֍GޱgYZ7zXZִF! %n]ŗXi%n8!@DI 2?N:1Ih4#{/grG9z8$!n~ף I2L_<@+tE9<%]?(G]Z?l@¦'Rd{pBCsKf+=Jn|X}$" seK)m@h;pb wF#ic%0?$1.Rm 斧eI򞡭V.],dFVB#6|XVJ@DՄeE3rYk,[-*8Z~l!YeUKNܻZyR`f/8^j~r٬Q"md!x" ƿe# Qiw)wO!6oo@!ҿ;d;Ƭfqq*J_&>!!@<{id&"gQyWnPիyY9ri}- a7xJ+1NgYZ43bbbf0a3ceea2dd3fb7776c96be8e1f4b5ce3bf 51eb61e2a492504af9f8148f71377a549e367dfb 54d9b6a3dda04d5ed7500cbe6262fab009975214 5afb051e020f533c044f16a05bd414c2af813fef 78fdfa1d3510f6708f28649e4043efa157ccbec2c7c621c8c679c6f81c939be460dee2fbe4c459ff d97c8eeab5366846f6d9647d2a5501999e294803 ca57ef1b446e14ab305bac96ebb43b476d3520da fb1813d2a93164e220d76a7f584d15ae661b1c62 5f6583c2c32c714f12d333504c279338fee25e55 + Cayley_Hamilton