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  <T\L ]/ Category:threads=2elapsed=4.704cpu=8.876gc=0.216factor=1.897zXZִF! r]ŗXf1-/6vRZy_^&Z`Qp Kj'>f[LG|F_۴=yڃz𻫱E0}f'G&aT0I,PJCjtʽ$iKwfqcz*NM1k`iq26_D̞?ai78~}ʴuG:ӒT\#MyʑE:>oV{7gYZ7zXZִF! ]ŗXiɟ1˦r!st#?9Ob(%w  e2H|qŎs[S7v¥(hkKpP` ;9k# V}PNAYG.7D;GQ"?4:!Fhg11gYZ7zXZִF! ( ]ŗXi%;C4> 7ăgV0(ųCҙ`n)&+ 0PvU.5lXSP _.x"QEUA \Saci>w Oo%~s#[ڙln|&E NґG`,M5DcDV4'PЧ^vtw}b n Ub",U-uo&vpXvfۍuUtD*HT&?@-0u7R-3[;-uΖbQ3\KkPvYNA 2"e}6썑L =s.,|V}#-?5Gfd[^~5ieLg5;9qFy~ch G@ wI=߭0㎥ͣ&N9dWG?hX{VՁ :6#`~xoWr؅W ɜ?:@Ek8d=i&|~z4QnLYs1a]Ụd{[5S;.z|C9eF\N[nդ7窒nTN+n?v KSlaM jߞxxMK2sk>{`jIԳ)EAKd+"f i)*q՜H%:K\y 9_ {/TiD^vȭAY[}*H\8r[P]A^IF+繹?v2 )]Nr6t5Q2E~#vz9*zh4 Q{|gYZc7c1461e474742fb94a314ff73e17df2bed3718da70f3b1dab78f27422c2c199c67ce3165c51f78c f87e99c2e2333d54a40f2ebcf261012b052e5e39   Category