SQLite format 3@ .0:  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  <GtEr615_ x\5I)3ECu?T0q&jZifm 'V `YM1l|‰41|Ԇ_pF8cPX*Ĝ-zP-NkM4(AFfe pټ9 _<3zE.M %`nWA0]c]_:Ѹ 0*m=M0Ԓ`Tgj*lIi#e6M&*t.nehȬӜMgf&K)w=ycm-v¬Μ ˇU}K\"km#{h_;8d~QLƫ1;qigYZ7zXZִF! ]ŗXiɟs}KKʹb! +W9 fGFMBTӧ z95`FiEŊqُZڐ$mUg9GGˉ^Ǘ+ȯG]Nf} (̴0\U6'bG^i{}|Ռ@= jUqCDIiR4 Q(y``6[Z?+NީC;jEE! C^ۗfWw|ޣlgEUE+"2{igYZ7zXZִF! z4]ŗXi%Gg@A85lsO۳2bzX'~@.i9+U/=yÐ" K$5ۈoIMz=\!9d?q(as_f;JW]eP'js%EW'5'm;;_jq~t)攐p3V:}$PwHcSÕSǐhG'4~3 n1uW*!Sv b+?go$.Fy a\q79L4%Ccv).;̮P^DVy_=w0qm썼0,@9#|!j~P2g?y g<ڄvHvGIHF99(h;_|QəaCٴxʈԺ\PT3o.Ve^d!ԱokJu`eC`%k" Jj?x?=ӑDSJ{?|5)g:?9`R=Jku K|uϣ A{dڇDiUy8@՞f $ "}8hSƮ jP"p%e5eCend6t^cXXl? Pt/]8RDĝGp]Q<ݭe{ap`;uB-au$gq#;yڍvPZTxu`l*i(=y+_\I`OPiEQ̳C׈T|j}k9♏%eBol+ 7'NO=6"2G?.mJ= GE\uz&ݙ~v%hKq$ݯ֒g8>Rc%@7ԭw-[))ju/AfuYm>ۅ̳b"% Tgl..COʢyAZbf$>Ug~X:˘`Dz@3J[26>šr 6,*^L[Zm_ X$'Z99 Mq*uiѸKO쐖;oldc)PBz=m B~Wug=,9J\*Bd ; ZKs.nC|W>iաO˯KXsuD܂"q|r^Kbw'lom}{P!D;-4*uukqmnp`gYZcc44b7643982511cc94d023426e8edcfbc643e301795f3a7abed9fc1d9546e3552e224994a90ba84 4907e731bc16daddc205b6b11f8b89eb33f47f6b 7fc961cc80e3fa14142bcf04a0c8827ebbc701be  XML