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  /< ]S Liouville_Numbers:threads=2elapsed=2.266cpu=3.328gc=0.076factor=1.477zXZִF! ]ŗXf1-/6vRZ̶l7d[(o h+0{]&!ޠSѫZ5|&!ٛո( & YI|L pI4Ջ/ѯj+QޠDGM&//D+Z@C{O BNOαgYZ7zXZִF! X]ŗXiɟ N(#Robq#![FRx 3D۩tysiY; hE7x^R H@닱a]ʹzEt {}3gYZ7zXZִF! 9]ŗXi%ή++Ԕtl!YvRdQ[;9A4&L(Ma $t[A^p{Qzc)xC)7|mU NƏqF<1j?RM+D'<%]D݂M#ԈSBfFl0OɃtR2rZA_2_ %mI`-| Hq<Ui}}Ȩdt2߯ YV$QrV|'7׽y\r J @vƝ !HZ H"3v.I ?=L n.7>f3CI5T+];.h2j sI>*?l$4[S6$5lzk!a1/AucXi| 0Qp5'w/N>^Ii)4!֐v7YBՅDy>3GzI{:`Hj4UGTnD6[JzOHo1?ZQ7n:Q-VQ RSjl3uigYZ6d5cfecfc342868bde7b024f26ac7b12f2d034e200b13affeca8329065e523557b07861f9da96370 de656be5c82664d2d06f9d4f4c7a9247323f4c02 90fdd132dc269b22477e61acedc69f01f576d41c d0f680a53915d416d3b26c69192daf67ea9ba224 / Liouville_Numbers