SQLite format 3@ . BBh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_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  /DL ]/ LatticeProperties:threads=2elapsed=3.492cpu=6.600gc=0.172factor=1.897zXZִF! X]ŗXf1-/6vRZ"P*nIUUƖY`BNa>t\ V- Ȭ>|EWNM[ԛ~×\Y|ꐏ@ $V2B;ׁpil"%3)M08To5=6A[gOH3x(N-)0nP9V׈x<Y6 rD i7Uu2&Tb;%Gº3YʐgYZ7zXZִF! ]ŗXi%W~6oquL^*N9>]2p2MFMD3  ci&dK zDoޱay%MF-1;(j syْdp \}O ec!$QڔSh!x.O3 JJB@W4eZ& _>VO$Y6G4_D4tONrUO1ᬁ~?=`F{.u_z™4)*\_IȚ] t:߰8 UŨUJ 2˲~W7rz KO2[nLynjN5`n0~[D=Ge>^^yْL)uI[ނ U";Ǯyؤ58,x~Ch&Wy{6 QBאf)y܊UYI%n8Ca*K}!ʾ!o BfubnƑE[q9>PCPȰYN@AgYZ60e94a2a6fef54c1fbc29cfac577c4a2062d3c70d6ac031d3e88d65563eac5f02a097b7a1de9a7e3 ffd3c2f455ccf76046f1a522696b8fe123ec936e / LatticeProperties