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 CLd4 ]S Treaps:threads=4elapsed=38.139cpu=125.800gc=3.656factor=3.307zXZִF! 6^]ŗXf1-q恈͐7ӺV7VU ۷֙M54;D@RJރDVM СFo98} h]|_ӧM'~bŷWNJ!O$EfYBRk<&TA2,wf* MtV" E(V|/RH̑BG2 'g o}btjL JA\oy(HRE68ANMlaB0DXT$S;m+"X:X Xc^'-y9\W'x ӽl<_Stv$Qg`vQ-YC*8^t 9,9v+KuZҟRn.xѐ͘D>Zz˱ @FX9NQ&bָJFW "]b)(rZp`-PlQ,z*iG9{Gr^e͙=Q4: iߏĦb~i HKh9L)O_*.y֡T' {z1Oܗ-ecv{׬Š|K=uRs=|fK@q8Qrϒ/B|pIWp>d*e,\\($^XLK+>h_rMvX"<uYuびassKzH1".[^7-.) D3 ŻrQA)Z"wnEhB@JT=*w'VX+mB3|Z۹g$h> c0ySfR}5Ys_ v%B(n(#Id_hd-X-ӖYg')yN!F'(.M$цwsodx^WQY.>t>EB[p&JώʙxpqyɥbEKv1}VWՌZpeI/{{mgg`m7fW@H` k$x kW2)R1n!k>,ޟdι   Treaps  vhۨ D'c],ˌ.&V@UKtYS+K{7iKԓ=8dIGX$V~Snȝ|7-,IbG!O By<(ݥ~ J~&K0,LYsMsf:_5[fsU K] }(¹*9jޫI^?yT/1Et6L1Oa@ԩbOqdx|IQ;OZTmДx㣍s&{mzr08kt#I. DG5Ls;Y&~'[dur!qhFi>@L)}da$g1ѻIDxPՀ,N_P@]./,i,6$>^$2|%%zC{bT ~:+1ҍ;FMʐ˿l:ؿVxʯ{̧uV<rds%geI$^R9Дj&pF$ W0M&D{*( lı:Zbl;[w_oܪ6buR![à,/Lʖ3p"!YʥU!&6J龾yG,=ͅ嶤EӶ)aH]ϻr9Ho(kofѩwxl[jFdMǟVw{}ok;v{Sk'+xL|/!F)0,pV˽H0CF{+͆,jO&߄]r,2S eF=BQ8P䏢 &ZMXhn 3-6jPXQ,E/g pgRWT=HM~'coRpe`j6t)v9KJLjS5k mBAfGߎNklqfyB x 2[ԭo_}`f Y(k&_{C~|:y:<(bMY{x?@ґDp{0Ƥ> ƅ1lR7oC\l}֫mevֹ'_g"Cdk#>sS>hILp(Teq284|^Y[3sM_]`;o7~0zv[]*@j"㳣M|t)حOv:<\\*Ri9*Ԣ͔V&+45d&80xX Lu4d,qG?a¿3AsQ|nX4Q{X&(*vԳd4yu|SJҺtĚ&xzpaEL{:6/0oVK!2 @Rb!|Y;k X78uQubG~)x@`$%])iek"E[KijzVp/l Z$ pà^*k(uȣ˪ۼZ-h 3mZKÚI~]刾2FFx_@EMUƢ %;ؾ2c"1Q>JՂ+XX!؂"<` S) hᱟn'ϔk 3g9tb*Hov'$,-$D Pء k?G@C&%ްkw/6T-.1wx(bs ({7Cj[ .D@aoŢ_hψ|Ui/seϋ,ܞhOL/ߋ"GaBiAy~fN3ɬLBg]WiCP4K]7Ѻ}$g}%bJ;lۺ|zz~H2DϊD^ܦ,lLhWKN{/nzLO:6v ճNT|>E* ; -RGj xV.I"B+9q0-*KG҇([1:uvwn)㥐jo-7cȱs=ZiP!sM2PBz3`|C&>cӀ4?);[ :P>kH2M`].MiT8 5