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  5 |L, ]/ PLM:threads=2elapsed=34.605cpu=57.808gc=2.120factor=1.677zXZִF! +]ŗXf1-q恈NucvAݪ4 c?[ݍ#pdTMR^I?U!g]-ѷ>%W-rC+7,{ބ,o5;%0 &|9Ylk V,αBX{׶s ڊŻϊ]I&J 71[W=5-%R,%WE(M Sd3=@rgs&BZD?f@cfD$GxKU~2!swْu z:Y5;x߅jS$z4 Uyn.Jev"ߓ3uZMLic pm3SԂKl(i3T- _]m e9/NHAe5”2/B1 2P*(%ғ]&  PLM  QNyEbĶ2N\/ ^api&9re>cQGW=8w5l `k<]sB!fRA(ѓ9SZ%Ȑ> ؞E 5zpYeqB˫TZ!MWnx#'T^ce8R\T_2%]Bzgh+sJ *yUc՜S8dET@SG.)V3:s4ENzt\۩P]8uA9J2TJS0 OeXy,~ݝYdMp(Fe kV7A.њ\y>9~:KTOz;v!$}.jŋEQRl>2o ʨ$ Kujt9[Wǯcx-P$9I.%(q)Ֆ"\oi7Z6B+, Zj^ Wb\vgYZ7zXZִF! .]ŗXiɟ1˦r p0+7bOa\ AT: {)~Mlc&< 0Q7H;d6@[;JET=b`|m5)?HOuu!tR>:Z#s-Y$ߚYY끁p[$Z~BHz1W<4G^ W2[yM",˙ "ja8\߄tt /u LB?.$a'ܙNw'A^_ T8pzŒ+DIqu]Qm`k}+U_T''B~ \O1Mj|\ ]&IȧhN|SJϯGJLEacL+p >ggYZ7zXZִF! Ԋ P]ŗXi%;CɃJ:j4Lf蚏MSwYס!0+^m|E:p)BT\8^xvδOhʃ f)yiYL9Lwjv[0>MXs;.)/HSiBc*Δ¬Ћ2 xew(&# Ge"qw&mWPf}'d *BҌ){ lS9m#FyQiՌ:PPд^VcWWV9*Z)Pi xCܪP~z*m.+i9Ŗb{X=Wp_,Hgifygg& xD"{Q*[gv۟GOͲ7H<\e-D8Ėes%Ld6z QW7F yQRlfܴWXIhnt28ћD%fKNŽ&8g#x"~.9ڽšRc~`](/beA3v'-5ʧm37<*&!#*B!B_xD(&R|*4g5iC B Wּ [Um-g oK~kZvLf1kRr5/SPu3 V;$ĹZX~h6Ԙr[&6` ߓxx~2~aa$: rPdςqRRBDeJ Z^Y|K {٠3 No(Y}N`K!sLq3?! u~ 'ᘺo_i^#i$ջhiI,dy_Ѱ\RC/UJUܼ?wlʴ*@:@lL#2(pˤeں Icp޺5?#KNwh&JU*S lCհnyvprhQr$ʻO3G^̈*V ,(>0#jf՟K8<gWu J~wSJ:pm@ܐSJGڜL,͔<%0beL{!"`lAК$7g$ IBѠ_(ї?M*\3(Q~K"vZWV)τ\$"kDskXpE!zdd/Ջ*k`=V[P}- ùo-²Wj|[nGu'LN *?Bw]U3~[gI{S#Y_ _ PXi<09tښ_l.y!L߸0)Z4m"9CZ%;0;/^$ /bbfDۗ%#`{>×-c -@N:l;חsl\#ľS;Qjߕ77DXd6Z_:n@!䅜.P@!n^ëꗇYCF;a~K γ<-4Y{ra-劌g ܎YKmΤٸ|كy*Ǜo;C@N1˽̨'ЩrOj2pNqծ!7rG"53,Jh4#j"cb'١#փz;o{[(cH:zu5EP=a˝OXLM5{CALlն+dnNN-?Hc,%fYLP])C\0p:ogYZba5223639d97343c0af4c28a63b0bf7c9f4d38d5a70f3b1dab78f27422c2c199c67ce3165c51f78c f87e99c2e2333d54a40f2ebcf261012b052e5e39