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 #3 ,t ]S]Applicative_Lifting:threads=2elapsed=35.208cpu=59.980gc=4.000factor=1.707zXZִF! G]ŗXf1-/6vRZ]^IuL` l^ϚW hxk$_I^H1c{A^m[s0ܦYlz[g"{]h&*j*֗1xmAKkn~=bᒕ =YNp'&1"g\Fў G%*2^K*sA LG_\Wy ~ctngc핸ϥ=_ۦ3 ݰlnxK昼oD++ < mQ$}#ʘ%tҊ 3 Applicative_Lifting  "ܗ4g]m}u_Z $ ZHk`]aBAʇȥ"fJO'W0mE/D|Ooě؀rj SB,՚ gxoq'#:YY6VcS>W8*K.['grm86RbEFt MKo]L!Z4_Ioi%gd͂b!%id !'zDEa\u$X'm{M6!amoc%٥b=g[dFr+yp0,T ݺ.5:ȭE U@WjGߢ<`ўwPs<-?d>k@RkP AFOz(C>`M=얙NZ IQ. Z5MD<:#iKiw"ohGHp#Q%ma͍ɻJ-IgYZ7zXZִF! @]ŗXiɟ*Q?rͿY!?ID(@[YJbn}f! SȈWC^-<4sƀ`Sז%+K%̮&Cl9a)sfޯtxRx؃^Ȧv2i9k^f_"|yB|"Qt*}Wzڌ "! Vxi4wϻΨѿ3-jƢV(J+8()а Cky0#)yy(﫝,$<;GAd鞬b<{9N26R(:Q]8,I.RoTD+RҀ9C/#0ImSN%J}$wȖ:w{zpGtcѻeЋ"Kӟ]f|Cs-L{Asd!8`;+|'kO,n1AF: 0FYU×6wUjYи ̰R %ɇreP'K7Z-B1 :/zerמ̍FIZePc^Lj+PӭFn33[a"5!wEɐb}贈bF^BJě)j]\s/bLNz{70r ;xUe]^VQln*e3'"!$M}|}GEQ>D`x 4(ր>^¼W.3- 5@2npDd#} s34ҕRW)Чa|="mq8!7Ai}sBUhz"~(C;}/mIE񄙸 bkɔ( 8:ti国|wu^m^T}-ߜ=¼:zhYuq1y,dl2~a2)CT)6FЎz&fAg̈g'NV֤)~Uﷄw%zւp4[I÷gnkm/8҆Z]TpX;E?(y&u ܽbʯ:sbN,b]$@%JSKA:;XK7wP!R3z" d=WQY!K|0YvSlX<3x3ӑIFXD#A燲:G(0v Z9NiBuQ3Mw 2$tuVU5 > gYZ867afa40b7677905dfd7bb0631a92989ea6cf47ba70f3b1dab78f27422c2c199c67ce3165c51f78c f87e99c2e2333d54a40f2ebcf261012b052e5e39 c382ccf41ab8971be7e30191e1f54a96cf9fa69e 87b98f26c9a02b8fd0c62d8e116fb8c5742fe166eccff3748037256ffe8d3409051162eeffe680d6