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  |d ]S IOA-ABP:threads=4elapsed=4.880cpu=10.884gc=0.328factor=2.237zXZִF! x]ŗXiɟH)0%o?.iC(ݙ)_~䶊>,I=4L8Hy~Xo @%:K/Kk%9)A7])a@e%|{::Qa.vyj :gfG]   IOA-ABP  1p7FkB%}:[fa\ ><|8̘*BPn[1:ň*.lZ ndUhg:]C: eSpӅE5RKYN+>gťA?d;A?3D)uuidM?(~i[InPp M\NڑH(_dvg"Z]c1P ƒU&> fJi&|ܒ䃔w&Dg09x \5$vCOhU3Ai16_U3@""ؖ܅&:LV2OZTC6&@.&SN}cHqZ $j-%5Oamk/H@>$Ry$ *5P~Q..D w-%EjCi֧MthTi^Ƶ(h _؎=N| :!1RqNY&ȏnEtNF{OyO.ȂI+̉9 D7r Ie'ц[Bʙ1bew`SiB%In1ص?p%ShٴI ;g-ႩP0iAQQiNj%ݒ>F3%btwu$)/|-;x6jޅZ#șKpWW}ku> .p<2H.#d7fGj.ERdN2/B8 ߪ2/9(G֥y\.HK+N`%g1,Mdus/c[z?E+8 w^nEs&[NRҠW\@cOqk4R kc + OAT'{B> Pi+0Vs&e:NLD,-oZuR$(|Ⴞ`NVTQ z,[,#32}d 8їH+xr.dMv+Y'^ ve*۩2L:M i bj6 ɫ2GFaV"k;.U" TJEX1˾1F{Gm;"?c$~,cȸ/Įq>¤w\FV⇫G>SoTCHb k0~Jj#s.1[&8^W:ڏke]9BLGheA9Lm6O4 NEȆRh Xd(B>slk|s!0e5x *9lZO;/y(i,SLYR1حYLR\OX,Da<[u~m!|7vҌ9a/4D}{EFo!ʋ*ʗR3eL QY ˲; Fv<1HPC##r_u[}#&¨mMI~םF9U;H;=nD\-\~j 0U%7__A.FҚ]WM(r3]FlJDt~!Hk'/-{^[ NPLp+/yYA"Y.t M`Qr^A$+?ˎ8d]t ?LMZڨKYa!mjDRý,coUE!%,j~H*%؜8P(R:UNҌ:Nn(z}'*FMf_Jh”έ&TgYZ7zXZִF! 7]ŗXiɟdN;RfBۅQEPgvӥIkaHθ 8H&n6KY$˽rzމ8og|I8L;p8qNwpAg?ca@w:S2seAQE HQ,֮Jm-j{e5N)cPR2 w4^;etM-D!}ۻt+gYZ7zXZִF! #<]ŗXi%L!l2E@ޓ ۽_P/rFh5pDwN7{09#7ktת4Jh=z1lI arL{X|!#:"<*P NZ*nO`C*ZXBx2lp[Aq j]#Ú3:J`a. +/źTON3U? '͖f!8oe@{T߼SyFRyKkyVFj:Pxϥ= i#%,jyXBo +|o[iaH4[4{ל"8UZ,=k)m.*g({<<`RQTnd #՘Կ(_ǡ /X)JZ݄GڷꁵJF i%-(]L)쭃r5|yOĒ3a.IS3w^~ezIIUc(e/bgMXR@Q{@]kl3Ep& ||jpğa_/Yk$-pd_NQIaС Hછ?v.]5d`>4.!/3VbI,26¶4 DGyוO!8 Dv **Y["5W Pҟv mȝux |m̥0j%Ju>.>? ֿ;ρIa0[ᓯ{ ^ Ww<$`cysG;- Ȇ6<-]gYZe0b5a11e65cf048b5a4a5a087c1100c0715aa6508215eb5f5b3394a9f9254fc524a194abe159cb1b 43986411c04360d074d5c4045a93e7a8120ecd61 9917c2bc07c4d4ecbb979dab9a399298f5853246 3f6b92c3f5f3dae94c0f1ba92fe5a09b68c3b086