SQLite format 3@ .;  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 g1 4$l ]% Stream_Fusion_Code:threads=4elapsed=14.252cpu=47.560gc=1.444factor=3.347zXZִF! *]ŗXf[&R g0Fw[e0Ozt=3 az E0YIYLf,%cvMZ3n;Ks'62LU"셀7Z75CVxx ^C84 gm)gfR ( 9 F)g 72@}ZY7]l6z|!ݶ2էVځDdxt_5̮tk>FӃ)a *R~FfG3QV?w`1C@BST?d%3^SDMo!xhʛh 0cup٦~{;劘4فʼcGf '"NQRO~jNU5cαgYZ7zXZִF! i]ŗXiɟ ~7m`X$";7GI֑dt,+},Z_8jdI z/wxE㲿B Ҋ ^ &U`=#D\ pt2~% 2 gYZ7zXZִF! j]ŗXi%L 0Yt'9d_Ph}05*ܖOUuBLpmFBgBT?oHk>GH(=%'E$jwQ>xڛhljV>Զ-Zֻ& c̊ت-"B ԱMs\`/oqx7s *~ wb6g:7}&^2Ya]q!owaFFfɜC-Lm ^WHZB,d_ayڇUO/vwjDd _Ю L2**/JאxqΓUKhVA)F8޼ykL!ޘ4yfP/Lh#UuM@0H 1)kvݻ=H8ڋϑ@Nq[E5`І'mkm[,cc^cSkBІa L("$ם'=ST1wdkVDW[PJ i8mb.itU $ I|w8{/ B߷'FڟU|E776.mNn1(pFF~, oB]A JJDf8/Ph#A<%%zn*v̵vJTAHVfBĚǫ<:?aM&2L^3j|БӞIIIH_XrM*(tVh3Ȋ_yȊ+="7G\&dڝ#s?UcV6>>9zW;5AyCmHcj:W_,w4%xZxF 0M 6 1V7O"yM_͘2+:6_l(*r8FR,ӜKi̓Jp6kv oԣމ.r*3WVZ ơu+FT8K3 7D#ݽxh^2tW+q JQm{"MpN,0,Μ KkC\7e*%-q)RirtP >,*j4שH=]Qy"hJq#SsӃ8/ ^6̚H?5jYY?2Ռ[#F9{%k:ѫ=M<V8^84wSꂇQ \J*$hMJi[̤ sN\%'QFFwY9>`> =ʛh|[wR+T9nﹶ1$b!~6c4f6Vz6oD^hsHY9Ij\LKwގ}$mѾ%z3J!rZY/`:Fx婬Ja0|COBX'l23Lo ]@R/),%˹ً{HC.ioZdxBUSphP+PJ;EB~LBSDh6YN />\s-d/391GY$rIRe\j*-Ӂ|y{]'^zq{Ʊ\y)gYZ7f7ace298c80162eb70a1ce84941b3921fe33d82d3f90704504dab3f9fc94e3d143d1180eb260c4a f6ffa714dac548bd1fa745e8527624877a3ec1f3 2b11f4ccb587528b98467ed17165aa165adff39b c7a0a4539cbc380eb066dd96bc0c5c4425968ead 93118b0c17587a67a35c0cc8c3c4358ef75c9033 1 Stream_Fusion_Code