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  4 , ] IOA:threads=6elapsed=7.948cpu=34.088gc=1.164factor=4.297zXZִF! t]ŗXf1-qN50^Xݾ V'褃)*%\i` ,;K CAXXmvn*\tzO.p_ eN??3ٷ7++DP,H ^LJzҭ_mb0y. ^Kזd𷝝3״w j=9'xeIf\4,c6S sNjO- x9Yaq,!$=Z8Z7: F%|ݍ\$vEο4J'Ma`Yp3ȉ` M^ ^XvpiUm=#}o{GQ3)#K^[Ϯc)\\XapQe65.To(I'"5[7<58槣1(*[ ,v,Rd?tledO~P0ٓ:六AE0QF# _ 3C4_ɹygYZ7zXZִF! `]ŗXiɟdN'LvH۹$QOds,mIN2d5W EйVtPb\r--qpLVd$.<6o\4)Ze{ذqSLh4 TEvG#4J?.E0Cp`U&"|; o2Y6 UDv$8y Cp:Qd7ObH NOBS˙p8g1df@q}АS4|/Vݬ~~9,^{FD)\C5iOaa,]Y kۋ⃗(+lQxЌcr DfA3D~BKB  ն6qd"Zu_@^8φXi90.*Xj w+@j_4v`5={[&1"d݅^l*,GxpX뇒JM_Ii %qbtdqjסI@<*8b%He0Ut?Jj;EfjjHe;J0QλW?,8LM8Ă9ne~WѳDH=i KLd b{vrgTjȊRB%T>5Hf*bJKT 07Rhݴv]lWj[CnP<Ɏq4hvp66#=`E/Grܪ^ E׏ Ycm'ƶ[z׽xfSIox Udw!r^ӑ†κqez )kbE\RH>2sx% 9Se|cpmćڠuk!9[%V& \Ih@9-j݂@9@C #z@OK-0;N#?x$ )y!򤰒>% Q1gYZ2ed8c25f164d420c477c75605a68ef91fee5e1387116a09c3302476e267ebb87e641eea8c606ca65 6b7362b3dd12dbe0eda47af95af0df862970b0df c88e18d8dd98a12f4c1aa6daadcf48187310ea47  IOA