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 BB; D ]S CCS:threads=2elapsed=22.879cpu=36.924gc=0.988factor=1.617zXZִF! ]ŗXf1-/6vRZxi}t7hSyv=4Rqg[*(*rC&H1^Ǣ.xFH.=<:mٹy(VDܔ2:~ђ1 4Tt.<,EB-\c¡c?n`7(Bd23l!IuW% < ~j)܍96 28Tu_[[֑>rX8{&Jo@2L6lV:Q}yz`xG@֭p.׭vqp1'DzјkYE߷)7K^8Ɏa!䭜կ,bjg}qX O'(Uл]TR#e=c]ariYƑѲIs2BqC=l6޽ kM'+k69tCM?q9FjZhCF8B.XEEID'[w)4_(~!;3E)gYZ7zXZִF! *]ŗXiɟAyԳbɚ->@]>.ĄnG(ARlc/!idzu97{l|r hhNXI#Uxf\VOBɪW>n=hjlzh9K!`1bY9w&yWY903oIa 'KӢrbzF~۹O3ʼnR`K[K'¢5[o0tޗ_v5cƚwG!`Du;I<3`Y*mnz(n(>f w رgYZ7zXZִF! "]ŗXi%>gJT}KAIb*MWr?RXԼTY;pek85_؛22fw1Tw4R%GRs q>EEԵWd/@tM N0mT:KS<< mV,9ttB՚CxPs(FRrЋfY{ ghYl5*0- 6"D'ӛY=ie 9L -2] k- O9Z8RHuk1Av bK>kO8S,F;GjMK ˪]_NK߻@uo{cB͍'HarS]%*@_TTiKS& ʑ%tURgߝw޶e7 wFH7Ԥfo힏"!1y0S^\d,(4 L朿6rl{:~\4(Nj b d',OT ƀy\vI¢%?m C K^dDvM#kzXn{Cl[ 'f^'yw e ,2r3oqV8^y6%# ?MBV_΀ǾTm&p4>(T>VLtYvr7s#A[.#]7;j_d,t5xYxB6H-'le]٥o:tM:f6@m[0U<r-r˰^@=2PxE |c ^?{ʼdl []չn1"c٤hŢ^ P_!rD958_$ShԒOC{OWh0'vbN+.?KĜTQfS;M$a_@((arU䢍"Z {sGxsyK4b"   d ؼCZˣ*#BBU"v{ Ey]p1kX?U2x-B Z 6ѐm7c AtOk &ei@;ldKZcoq֩CPwHb]J;mH_= )e*¿ًTy|E}rR7- ϋ[G9pnU*ճvcmvHd9=r n[FA ^;IN˞S5v։No>aސ~gf`baow8u6HIV