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 Q+ L4 ]/ Strong_Security:threads=4elapsed=11.368cpu=35.896gc=1.192factor=3.167zXZִF! 1]ŗXf[&R h V c?D:G=Cng Eg]xlf4NؓJA 3JӁEVF3-̞*-hr[Z?uI<5!`;_h@n ͶP8A#TrBU7[խcMZ)J6Z}s _PMe:}FFQ?:)}6SH kI`w|΁<`흐]VzOF}7Td(̹)lb̝( ԃ{F?;^(HIőx̟g9=d!㱼𦜨ET<|qh8yE6'MJ`VؿE )~q :zLa]2kfC tmj&8}f?\AeDP7:熚n`Y<8mUѯ&%o!dqoXrs̨ )ƫdR*##+HÚ ~0iٕ} '5)ҸQ"@,*gYZ7zXZִF! ]ŗXiɟWڱIY\u-Iv*#qܴ*Nu.${:TNK 5 @<ŋr|?4z _ұzCb&;E0R(X YpT{[QzW I#TFՕD 2QVb'IIXQ=&g]8 T.o3$zh6=L1c "p _*ΌB74z%uKaGOrid{A~GgP&whmQAen}}g082><Ur̽뜃HI6ہe3cR)_x^66>=˞@Gf4"$j ygt 4ȯ<uz]meS &8+@TTt^߼(҃-W:ivha;s/w-/ %ˆ-̎oQy9l/Q5^ղGjU!X#8PVa9:\^Ll*nzp&O.=FzwdGV vH4-yj}LOL+µ; h lJJz85~ Ym~|u'ȓA_f)?*|d{7ٞE*3C1G_:DO3Ȑc#w\1h}7|lA:)y\*K-w U*l6{":jz BC5jNɇ+f#tpJÐMT$xϹ_=Z Vx/{tlo%j};Y!RՀ[vԫj񚗁ޚ`d "M𦓈|d{=K>&)9L0;8Ǵ"EO?Vf&{mq0D ]By?\AHbAs)ϐF%YB[WϪ*fQ