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 ] HOLCF-Prelude:threads=8elapsed=23.150cpu=89.895gc=4.288factor=3.887zXZִF! />M]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jjLnaz0Ǜ(ݜ dD!1`>>* IwŧFeԆ`^tEPR(gyK~=z얖5WթS6Ca؞K+j㯣gNAK_#D0&NKЍ.{M%BvYY?hY:Kx6bR&~ Hof1$NoCmj¼p`?Xi,`fRDtu bc/̡ '&䯵࠵?/p^p>OTovXg:Į9/NG\eS)Nإ,׎5.\H!jt("#cJ ~ 6:Ív{UcriyԮ 0Y,?xfbu}4NoP栞FQ/N)'G ^@۝gYZ7zXZִF! |:]ŗXiɟ1˦rnzx <@0+gMLSQKZOb_^OӖ Em#J޷ %v#CvN =(f5Oḛ;/2ۤU';3bڃNQܷZF:TƳ~/範Lc:$[gKN 4,厛&%"H U8F 5WExƴg0h=Ӯ+ƀpqQij+FDW'\\ PSg`Qr]'1j@ѼH/ME^aјvt{˧Ґ*5OuI딽(ud3OkSaB1zNT^nxC1M7[%u35,+YL:# {wnx<2$N@V;mV ڛ%$wD@nJa5 .u]ߢ67-T>E Ѐ,ED Cn6!@n2+ujXO4"Y ܽaΧ_A裶Yx8a6`+jq`d [^PaԈS$As1_B}ԈۤRej2$c*p豇'8_ǞceZi_h4n͢ 9L X≸UۜL[FH97A!KώB=WA &"},m,O}`! '=oˌ(?+)8` =M@+댗^ cXYKP|/6teeܟ:c9U9Y_,&DZ0k- J1isYO|,C排 tsHҢ@CoKD.>ٲS0H>[{[ }̱(5 Vpc*嗝5t;YCoLg+C!8>|^IV؟ާgyVr&g܄|l! [ CܱoNϛB63pGJq{`K5itEN=;c2t. 5jJ,?]Lƍj K"pgQ{]TH*]GKt]ce08t|\0?G]mJ6|5e'HO[9XGuOuH# m6a wWn,R]TOj%OMMA]dL#N_GZs"3:=2~hF7S"XGu-Lt9?#ƼYhI<%cmSI.oUiK֨lBoYozk@缭oI% % mKpznij$5}:Âd/}%:fs X3jA>?5zd zWx؆|QTK}\hcCij?ݙ}6}fq%i%ߴX.b!\@1@"gU9Kc3o0{ߡ~"Q VĚ~s)z]3?Rm@Hc` A7+솦6._AϨ'BS"MܿO|Ky?q݁? 2W*ޟ^:xAŻ`!NJK=>kl"ύl5+鬢+ࣽ:lF_8!T{,O@ #p}bc Vv^sXYڀRk4l(%c4;J^ݶ L- [`4ƅo 4,l63ɎW9/i!7K@$"nnQ/FsGJ!_p"^I%*jc&2W Bma/R #g]vp3 tAlJl2(rCE TQ`;9*3׃M1Nmá _ 'DZ*+k11c8 &X=Toɞa&4EMk(=cE!N>s*&L,bHKuɇ&Cdϡ NxVìs<)fUic[G.:Wɥ!k/\p$r0 N볯r,++bԉ+w2`鎮:i^hL(?DxTq Pgf]0˱\- 6CPȚ 5 p9ȆV&i6lJ6rHuHCZIlYuVF>vO5WDl-\M\+ dv B& Rg(vgOl2=T:2:޵쿡۫122^=9E#+4&ҘyR}ՍBgYZ3645a5cc2e8f47bb0cc2a63e9ff82e3a5e8fd34ec58d21ba3dc8b698b4c6d36f436849048b45c256 c642f89151926be6cc7824e0701f1f7d684cfe9b 14157c1a3b8fbd74cb2f80b32216bc456b69f149