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  [3 $| ]S]Applicative_Lifting:threads=4elapsed=24.725cpu=73.732gc=4.184factor=2.987zXZִF!  ]ŗXf[&+Q0GhweTVU1T=pC,G=܍MTn݉E~H#.:@+uu?iuVf$#\!٭JSڗ6mgLJ8N#3boٚhd}X.[9 6i]ls\et L*a`eI3(m"8԰BaD+l19vQPWMYf8K ۗh&Rj)#_6gOM#,[Z^"%.%5-"`1/?^q45my 8> XwS>e:51b'ځOOptgvU_FpOԵfLS}㇮N.KU4u5|Z~Os~:J 3 Applicative_Lifting  e0ߓZex W]%h>6B 7n~QtuC,cE yƻqQH)kYy,OAE̚w  IY:kG #"!.wg`"@i2|Z}f@vlWzx:U,l32*r lopJusD| t<șXp?4]uZ*P55/8y]D!N|g`ۈ-%RK͋?4QrJoWq$Xy ő['-B?%Yc׫;`9At8VkZ b ^gRR@$a\ H) FB+ZzU6 `;il H:Ks/P8^ڶ:z>Ԯ8zOo l'/\R̓hAlVh5JF/pg{?!UYDͩzI'%Kr$HXXo$N2Ó6o79hgYZ7zXZִF! ]ŗXiɟ*Q?rͿY!?ID(@[YJbnBbsCo=DKz_\ހ M3we\.;_OP1Mxfw5RmK22Yܴ5wϚ/** ~Қ{"ͺjg\ڎl ľ6.*+Ws<$W xQ*F XD?kZo{x f.g@/{Q(W# c;GYFuIN?!4X1U/1zz@[5m 0iA#pMc0qcn{~9[2:Z PCԴ~5~?08"o١~i)yx!YO2M0ZlAd ޯ*8 ۈAAhú0H[]4Cg>rڞ;}wƱ1oՃl_XG~Di'ޡ 6M҆rov{Lϻ-{r'*[jp,Jp׽|4P䦋WJWpOlGi%gU,mߎ:û-9E˒ U˄SN9-t(Q[ɑ=z\ĦD!,Ǽ]zAG=|7+gYZ7zXZִF!  ~]ŗXi%Gl*m\=LV,u9)^ރb>=Hvm*u08(Rv{xWڍm+ܯI `n6Ɔz4?rz+ 0d`5of?='l01u0R5UR5!_zs%A*M1V D Hn'u5g^DAZ5^V/}x!Ah?|vnvMSD¿$X%mm3a2]9 H.nWdW 'r]Ylz|'ߚ2>!"uMC-[uMx~#LQu ̥+$\遭[OU@Y؄ݍ*}Ԍ=֐J蝌MemK`?l(:\ӄU6iT)n sapnZYC"ư+"V]QQttA3 $@]#㼷Ģj^\#/EwE"0@wq%r̲4U|=CqF|>`.n3"ZsSg-m]1rcO .u;MP CD86w " ;92G}]X⹙~8)uL! Pnۍ rQoI4DkvIR+Qt\V`_km@R|6Vk52g8fկz5)C B`NMkjuP/VbO>v .޵rHnvYJ˺ȦLnSmIzkԴ`hB iQ ;SwۋOq_d Wf4Aw`&|UZ}tϠ : HF멫.uR۝K?^Iq|'>.5uJK+Uwl|iC8D&UghX .kXv䦁qmO[(J:mW^VGGFոYʠEFpɇt/C.p)LxO%?_B9N6%!n1*֞hD6hnx0.<ߦ䯐H,Tb`Oō/k+$KuS`@nق}q,K` \Ån+$E&CF:LLqRxH6ضZth~7 z #5emg-ЊȟTwI'DaXK/氝tYtErԀWZs%%#]A 's}qg?P[ŧSpI-0@=:SՂ3I/قgq4ޤi V'@-5,$?1WUW3^Z2iӰ<7t T*2,$uv8P?(V ksv""e|Rc厤M`hAB%خsQMW$ ݦqszrU(8 B+4)-ɐ`# zEqUHX=HlR#RT{5ioK:SDf56|B7 M+7{Pf eŲ2)*MXxJ!9hbCm 48qmaVPpU["$9铡ˣ?4ݐam1pw^-u?͠ fj&yI52ňB5^iC5E@l0u/V?]*95DD4<8>Ǵ. ~pgUs;'2VD5l!v ҈)& =27>G=&||a1{=uuU<42kmt(