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  7 7F/DD %S Liouville_Numbers:threads=2elapsed=2.200cpu=3.772gc=0.000factor=1.717zXZִF! []ŗXf1-/6vRZ̶l7d[(o h+0{]&!ޠSѫZ5|&!ٛո( kÇZqef{8zx6/qh٥Zar m*)(HP5{K|ŽFa/q&Ϥxfz^[ݧ~Wm\JTRAC_/6]y/_R(jy_0 \,4':GAЯi\X~t߄DEn>AwcbȻ 9Ȏ>I`1ca3]#Yܳa/k}Ljw dvUU:\ Q!~7hOןM@o(wcY# Ĕ/>^)t^" /#H:X.V_n)xF޽t %MB U>n% S0-GB!5E ܞ4ё/2 tLHw/ДO9ߐ<3xyiZpMyLzhGCM`5nM?% dHMY@;?_gYZ7zXZִF! ]ŗXi% ~ gĿ9 nPu^Vy?_ Cp;uhqhP;D6qT淚ύ Y ڬ$1R-N91'H2}.3֪U9OU$e-_𧤜4oOͭ" QU1;˄a[wF׿lGk2!d0%. +O<ɪl2-b < d9xژdɧ;|C~%K]" S$HˤO%n?DKm3;bqùؚgUp ߯>({h__׽D= n+uFERQ1(܁Zz/1|}B5T:i$cDc'6bʾUv,DcKǥ$ڄ-XAdTiA GBzü@ F8PVenč@- Г-G cQe n ictۿwIFQg&)ʹdgYZ16158687bf6151f09dee73c866382325b682e1fa 977b45643c34661a2846ba7275d96ca42194b267 9e181743509cdf0be709d709d0b38e72ae327f3e e8a7278c44c665abfe808ade78e7dd92c1abe7e6 ff2fba45dda38de01c3e1a1f6120ba8e924ad6929711977f48cd7397b3b03ce4fb09271962469dfd 41ca8b1ef880b2caab86f2e624d077e228a12ed4 a1d4e989ad1a700e9d30ddaf5afc0202077fceef 081e2ea43e234aae88c54c36bdea8492ada09aff / Liouville_Numbers