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 z \ ]]]ZF:threads=6elapsed=12.348cpu=44.636gc=3.084factor=3.617zXZִF! =]ŗXf1-) enȈA$jB80l,v8-qFN}H2研M`j1b n9UO]c˴Jʑm.ΤOAU\S?]^@BD$Od .98gu0ƌ2XTQ'$owӲm{iSv ;$k'P7ÖŽx PO++G$AdzpRI&IpCzuƶR^q?N4AF v3Slgu௝dkܒK+E:JvL|W?Ƙ6rsnAM\[G0/ָWό|ۅ{O^݇xp2?IM'A_,u)*gbr#̾kYkEHL$1TEdɕobP;ӦVٗsfmŬ^ jB0dϓwʯoޫh^ϱXwoZq#V%Jwb{x]̍L[=ː5$ d;,d% ]gYZ7zXZִF! E]ŗXiɟ 1FE`穱 P,%*i00(7DO|_q!1=k'";8`?h 9| EjGTX5]J/H.-?xDKv~MQ#.5qR`᲍5d{p*Q;y?@Ḋ31 uBڟU$Hx n!{;% PHTݍ$.DG]H"#IX.ߌL"4I}(*`DU,N/\j/)~ ]u4)iT"A !n57!a9-ZR|A8aL*!ll`;ԪQg!h\S<zy5.*o ;r\*qUѵ솓O&p5d52E=Z~.5ԑǯx'tXnzU\G{4s:2aҘ f}}&![z,T8LĵRei|; d׆;`R¹0r@@jgYZ7zXZִF! B$=L߹'kwk!NaZH)SΔP>ek1v 7pOFy#uYT?}4I E A#jl^dzd>5){jynʨ컄0J]ʫ; aR?^ @\&PՆZH"E.lriGzzs(O"|wl0_`KYoEu)u~p<:X'FUlȮa"""FyN?@Rw$ N]vāݵpn9?&jmUQM}dIty Eic01@%4iq2௃;GT;}O3A㑽#- d|݇,{M3?ap~H6G$с_+R[ 9cRb8 JEЪL2$al*VP*5BNU]uKf5N!NKxPS=Aθ*O=y++cSѱy8/!0<1>hRN3T>k몰 VUfMu,acm$D׶* ᤃzXl 4n>9M fb>z.Пn0>wݤpzj"ϣ/m,p5J;+v>nZS(lkIBb?G~m@vnZش_Z 6γfhws}5ɦ&L4/í`2uL5 )o}B,&KDoVAIx G5X6PWLFy! t3N&ti)}M 82KȮC}s#8A땷F!5ݱ70*tq:Dmq{.jblᒶ39#d=-b˵'2et2a1ƐBZrY>w"Må<ӻ960u h~$Fq k:γJ&"M V,Y"L3DŖ3y~ä5^9| B,'\Bn3`a x±gYZd11a450a907c8dd29a2bff61365ce2e83a0fcf39c56e6b8d00b62917dc219d0244bddc857daf987a6bd6fe64e5922c685275b697b03f358dcb26cb31  ZF