SQLite format 3@ .  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "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 ~ || ]]]ZF:threads=6elapsed=13.178cpu=46.300gc=2.932factor=3.517zXZִF! Vu]ŗXf1-) enȈA"tr-j. ZbNVHJ|@J! Cɶ=qt\96ًeFϘ *q Qe%[sF8.Pf4Ȋ}ʍrj&5.H?2  'JH%Ǫ>mKaWfQ`"}W$: msGk'Ic"OG\O7vJf΋A%Vѐ6"Ӎz2⸸hkLjQ%IvC v17ݒEl7k9*e>dm0i}MzzR@֪<6)'YߪJ6Fzk+3#¨d4"?y< =Qvy){}G IVٌ*T$@^C1!!O4$?@vA'gK*kdX86*#Mxf^$n3J 'Mev!JWwE#b,}tH! YA^gYZ7zXZִF! 5]ŗXiɟ 1FE`空w&*=x@U~XP|"jܲڃaNpu _sl2QY]i+_Kkʩ^M4&K1QnjZUcͼ*Yl>Y-֪ܿŤH[hP}-WJxp(3akzVƯH-tPSUGzGe4,qe PwGi@S?#Ka.?D9 ᭡}LsErmv/^SӤ36|Yd=Q JUXLih6o~w)#>)/Rtt+ 7. n$4pZ;b:~+9{͍Yn~G8*Fe3 9^.tE_Ӽ ŭDhjH/ Mh̳īYl|\c"{,yBRf-d-lu' D&Ȗ? _ OnnKu|)E,$bBq gYZ7zXZִF! H]ŗXi%B @zYiɟ)zO/7;peQ9'vd]:ժє+T٩D !Fځ %ҥg|q Ђ],ER^/nsF^r`6F6C*sj!([㵵g"4A'Fff~y@Mو ͞1ڭqq (dJaE(]] 0x{iUڽ[xk޴&AcX N펫R^:">lߞL)mݠү-+,Btu ͠{t8X^j 5Adpzu@Ǿ4*P#ں5|Qc5"\&6S)cR,И4^l+ͫA7t[o&-WG^K[5 `?" rBg'^ FvJZc慐8] jݎmg̴f{>6R:~vn!SΠh)?.^G돳&1&nԽCirDR0ocoҠRb]c, %eelf۾/~^9ikyW24Ͻ;ꯍ< qVcFXF\.Em-!05:r&'oBEP3,dzû~ "moz'_`÷1ʮ* rCGm!y WI$T174&7yIzu>3"l\ۯGzeWyA>Yx@5C'z'[W65~H_BS7*W{/ؒ44>T, 6z̮|Q'‘U=̟9.P] Ѩ"TdHڏ+e}zmky\[w53w஦tQ+6n^_KYoeʶd b;5 I}?ТH+@ɫg:u <Mz^/@Qd/vd@b&r6bHk= Yoq)HsR6lӅiI@I™b΁I, H(,'粳l?xlb=uck0R@Fr =0.lQ 9ˀ|bC.@S8:,(],Hà? 8#eNk* V.=["R(Q/@Uq2ii~%KEZe /C;Kcȧ$V#ny;0QN:ǺvqdOe6=J( q^gYZf3479db531c7131cb8fc22daccc08202cc53e8d9a4c5d301a507f7945f83c5170a983e051beeb81d96eb001e4d3738b78cf2d370ab624306b6a0a48a  ZF