SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_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.345cpu=3.520gc=0.112factor=1.507zXZִF! ]ŗXf1-/6vRZ̶l7d[(o h+0{]&!ޠSѫZ5|&!ٛո( k -b_J &EB32 {xuK{2mљﵭI2GܱgYZ7zXZִF! X]ŗXiɟ N(#Robq#![FRx 3D$Q}>4E"f)\J\EB((Bq<۠A|t {}3gYZ7zXZִF! DD]ŗXi%>g!d\`Oz|Uŕ)1qV!j)EP5kzWuQ iht"xR(d;[W{Gr[nk"!|b!-bJ4lG~whk{k+NTH8bI6ў`cLӸ0| %1,K.x1ZW}5f-MH<&RFL8| #|t)A9Db*X’:|ǚϪi׸jAS2t"H!PTDȽK}#*Tr $_w ߒB9i0'J(yOŧ` ƲA+uh{c{oq`Le01h%|5Y1́ 9}@29.K@7)){9xekB9G]ӄJ$G(ba8t2'ѽ4C!E)JE Zw+ISHkچ7Y]~}rJS v=H,/v,+xU4xٟ=֡B 54:`BgYZd987a70a2276abecb0c5ce73384a0191228682f5a70f3b1dab78f27422c2c199c67ce3165c51f78c b7ea345064e6ade7544c71fbd991740359381db8 12bd5101ca4134610fd46efb8adc7e49567300ff 0c0002d06a43d865ea35d288a2517f41fd0b0c63 / Liouville_Numbers