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 55H% T| ]S Posix-Lexing:threads=4elapsed=15.675cpu=33.956gc=1.664factor=2.177zXZִF! NB]ŗXf[&q$/= :.@b҃&:YBdD6Bj`؄K}nUv1["?vb~E.@ȷ% +=RilwON"6gUmF ,L +&l,iSghN&fĉP >:8"/-V++Ze pbh~Y[^TֱJ"ya } M=&JyaQ7cy.@)|d Uԃ&T)gYZ7zXZִF! b]ŗXiɟˏ6t-utD>ь@z?HS(Y*hS''UlCE ;śѥ:$'X3:ށgk5bdh$'ecn~ gYZ7zXZִF! ]5]ŗXi%B4!^4_`nRw%,ռqj1`D[ i -#KhGҒ2+K%#s2|b[uW*'Qeoyis?HJW0SR}TZ rI|aW0n;p]=}&:9;#%B- IU.c9Hn1^zxB{=F8U7wx*=4f /+LF{+ňkX-X6bS]}d39I.aB۽4y֗ODz'[vU`wċ,$KyH;&KEP"eA@#Yü#HUj3ZBŦ`j @ KZ6NuB|'wl60}F!C@s|sտ?t)I]M| S-ÔÞ)D<%gF%rP7{y[(Ʈ`˿fGas4 nʣ[MV$Ay`S/G}cE^aum6=3I o+(g&Q؇|-vSdmT4 %eݟɑ'wS2wH;f9@|ΒXT# 3AޣtCA⼧B|1@WV $?5Ee&;//m3kRm t'`ӳUʶJh XoB ,! JwSqп)d$`OO2W[tɞ}S )k<^0;w VV-Ǩ%`V)XkkdȷW/CJ|@-?C2)OkdBTNԛ+, }Pz?̰+g TWuэa2M52Y"dX*`vzGWijn_>ud9H>XV|6uT+M^Cx?{'Zr df A_ϫ0TQ;#\H*iI0s NoרWg滈x\ڈ)5ߤ"29Qrng^9uGO+s_=܄ݰms< 5@@6c6}+'Gp}ɿK)_lA]"Jʎ-^]hS8x`K?V=1tbC1yc.6߹Y`/ބrzıGsGgpG4X #mįFH gYZa110bb6cfe71ac74d36c97139096e1900fd146999cd33e2f2669d2e2ef0833012528b204015b12df e5cff2820287d96832c0244f64103884811e226d 8dec91fb776e1454bcd259b128d2077a5afa959c e85271a739fbf76f64e866554ae2c38841ab4103 % Posix-Lexing