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   d$D ]/]HOLCF:threads=6elapsed=12.397cpu=38.580gc=2.420factor=3.117zXZִF! ]ŗXf1-q恈͐7ӺV ༂Mb0v9?cGb 5Z;e3.i@0; + <^&9, ek'9I.zj0Eg_90 ίm3,ϱ 1@N`}$B8zңKu.;~ݐkOu:V<2Кc9 V.gHYVsQܜA|Dz\η/8;(r* MZ$Nzr:,6fd_79،a `2_Ga#@͟K .1u^gֹif[(g>G}RY` iy@*Xq̥Fie8ί&{Mq]f Cx nqo㒋aY 9 zBtU'7˲I]PGnN,50BFDULzJY4ڐ9dL?,jŐSYJ.,t("EOncIKK m_Bw-t._'GXf̆o`>#$=2Z^`{N! \ȮA1Nf:&}!WMWH: plUqcN$ ce7BQ ܓgYZ7zXZִF! I]ŗXiɟ>Ӈɇ9S2]tR2,b>߆0Wvh k&LN 6ppԧ=ik(~\P;D6e&N-ΖbBTS*^]$ 0woȥ#].v\B*{=ߧ>yua(! $+ 8Nf$'쾯|yoӋ|{Hˡ ?_1{l`HA@`wB{ )͠vqB"Bjs7]V 'yvw۷Gb={ W:Kq.g0:oBnty-"`+H.eݽeAy'|?̈EF'Xs=^%R}/10=qay7&1Ճ=L2:M$vɵ Co?T]ՔPE5^*+3mk2p+MM6]a޹kP"ޛu)m-B{ 쥚 6b6O6MBoNԻ֩4H7YUp+O GY}gYZ7zXZִF! <Z]ŗXi%> Ă4C<ͰP3uP\IwH#ODd]iZ  !D\{*fڏw N6i#s7#Z&̏Wo'D| ٹm_b ' "^4~F"9ŘI;(M/ǔާtFt Pq˶6ac|ub\)!/vQlmtLZK:݃RLcM }6RxicNp? OsADé΅JO, hkbwYZk4Hu%Gy 饺G `$oGh&|wYE2ƠseY+-Eޚ"kdJ(E0@;egERwXE Qn4i$XnH)9*}&~PSgj .׭N=BpM ZKJ׳r;t1q~ eR݌m_"~/<^R![Ds٘N9%_1yJ>^v)Oh"wKUghp'T`@9! Lg,@rgMqYҒ.-P@NE457^T?yZ%QKu5P