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 tt + 4t\ ]/ Euler_Partition:threads=2elapsed=14.104cpu=25.904gc=1.040factor=1.847zXZִF! q]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jk᳴O6ҵ 0ݰy"" l#Rꔂ垫$nD޶Ȟ%oF%Q)?cZ)VCYdFZ\wHhl t]Jҩ5Z\D8QbKTSm'}t3dix7@ǹL Yj# "' Ͻ=ux89#¥ Xi_~5)["a5dRd=.MhGu~.psI9'8dgޟ |e>Bsdwz4V̚T!ǚ BXV#KK[T5ݻs fPK~OesbGc*\KVH}q5M7*Tw-j}!Dd ޲FGdC̹d n%d<- GuZK-שTb7[ Z10,wQ/>1gYZ7zXZִF! ]ŗXiɟ1˦rYsxgp9f閷W&`^+4X[ۀgf9Q]g)7EbU6 C[XbEݻީi&U)26Ȼj),"t~bm!7 ߳iq2pxu€=6քbrހ|E.Y }|͋p Qw*9vd&ȇpTK`14+ۙ"^T(SJQw/^Ά֨~p.18@"Gfe,445a8c8,A! >S֧Nkt1 ~~][+( mIrz'\LL ׏O|,JX":([BQ +N*l?4i(p Jf&%ʬJ塸Р n(@7ؚ];[}o^_h ~mo,v|=>t!P<%@/ T؊G7GdMs1.^~247BOʹ6ui!dy'0)htR#arڿ^K1H0 g|ȇ-V" e\V- M+9^SݩkD@Wd$nj$} eQ!~i]oҿI0=cj&V#4E15Y4m ZfF=%t]w]Kr8[VFZ&Iׁbyߐ>4v/gnj،&x%ʍԌVagf=@/^OW $Ri7&iਖ਼}A<@E~$nh ʣٯgYZde9da5f96ffc866eb9d7e6be0726e3da2d585ff5767d1abb4385cc0848829909014ec5284a74f26d f8f7da93998fdd1c52e2a4472eb3025f88ab3418 + Euler_Partition