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  /<$ ]/ LatticeProperties:threads=2elapsed=3.032cpu=6.052gc=0.276factor=2.007zXZִF! ]ŗXf1-/6vRZ"P*nIUUƖY`BNa>t\ V- Ȭ>|EWNM[ԛ~×[#IDsp^JmwkcӃH0!+L0,UMީNf$z癗j0Y@E5<M0nhձԳ0, [E;Nl2 &=Gѯb7C!0yK}sȄs 8-k\=񀋙 98<@ny#?SSaV[*eAQ ٱgYZ7zXZִF! ]ŗXiɟjg*Cp a:~- ;t0JTg"t@z 5o޽PaZfVX0wq{{d 6Ĭ,/It F:I+ j46L.c+)ʠEn3dȴ=eG2w[I.(gYZ7zXZִF! ]ŗXi%;iܤϕq"%CAw%(y_<*`ĶU/tWw^9/\ePGPփ]Ghm{aƂw!y@(Wpƽ0|[BqNPYDK',Z\5RIm1,HAKSԁ `@8IajwaOTjCOFՄ?1 G!}.m_BPyZvs zuy mljs/wduCk`8#g~ۺ68D[ BFDe\pph ?LYSl.4rqs>Hĭ0{JmXFQ[T߀pč8z5YwH܉&]A5ME2_Ӏf:`UtfkZ[pAyHGPnXSv(_,Yީ>/ED%y=YbMj|zSOg*O&#,0/ aR4 0|O|mMUn&g8xy@Ro9ֲqi y`q#X ~ug~?|ifvl((o aAgYZdc2e53d04dff00c31dca4b59f8fefe329800928f273a065aaa7221aeab8448251fac00a4433003aa e99e0684410df36373f4f2b5c5ea423968ee9625 / LatticeProperties