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 h)  4 ]/ FunWithTilings:threads=2elapsed=22.368cpu=38.696gc=0.292factor=1.737zXZִF! 9]ŗXf1-/6vRZ#q$-RR s(|CdG e!J&*D\Ð9#ɳsa0A{bjD\Ȣ邹6B 3CaWFkց MQ60G GK)kqQTD8Iq;c1wOh)dH2qRUjc*Y% E\IE""Adi< Du3gYZ7zXZִF! JC]ŗXiɟUXvjV*~ ^kmoy`'ǮC2r8 lڏ͂rV:a_Kl}YZ7zXZִF! }]ŗXi%;C9m=? Wvw*L]Y+k͔-+#K2 eCoؒ[ UD;KJV":A1:ə3e:?

dMFà*:깼Z ۏl|NhqvڞϦu>лt61,x 3Iۺ܎ϣZE/B`|+`{":g_th0e q^Fgsޥq9x'N'A JX%{"6 -X̆Oߖ0YAB[̡HȻ84V?_UZMIIy2Q3gkoNE+5؟:~n|g%z5Lbg9H #Tۀ2el#wWv`6gWrIUU4t/̩.xs8lP7ͨؤdDdjAFz83H"3z_)x!htHʫ/\Nfv4x!D7~))=U>%Y$SЍ"g6/-o5$Q+/>qeΒEYKxq!Sb Ԉ8\?d@epՙײa]0V#(z5\'C+Zw8]mXnõ 5狲UYn@M_PPV#جΫ% Pŏ+1!ܡ0-A(W: (gϲΔq;]>cKg`"'Ge(jG*w^?N)7tR1,O^`&}9{x#zbV*u6dVC_x{5G7ƞM%Vv ?d JIH?oW2cy>2hȿ&2t@V;0ZcN rgV!/5*(GS|K8TH} ^)%+*09nco`c6n Q%