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  h/D m/]LatticeProperties:threads=2elapsed=3.917cpu=7.124gc=0.152factor=1.827zXZִF! X]ŗXf1-/6vRZ"P*nIUUƖY`BNa>t\ V- Ȭ>|EWNM[ԛ~×\J'p -Rys FS3&ԉlVI=񧕋\`lбW:9e[eSS`P`JEU$NLՊ9nH/=A(g1##?98mރ.Ae0c~c@ņ6[7z aPΗ)x$,> `egYZ7zXZִF! ]ŗXi%6Mehx6!hİ~utF"*&+s| Ou?# [Q:SIL ]Ml1V(3,/.3* ɁZ1ك~E~0V>*Kz ^6Gr.`_)]Y+C[/ɑxkI>?PpñMVD%/S\)^W9/54˳HSo'Vb9bu53Wk.5uNPŠG2@j}c l+q=*yO12 @] ˽)mC($PsʪYRS uP83C@6q3]C _= e67DH"|NJ?nMVVSLTzLE\DIm]c;Zܙ[ f41Ʉ?W՝