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 6% <$ ]/ Generic_Join:threads=4elapsed=21.513cpu=75.156gc=2.040factor=3.497zXZִF! 5]ŗXf[&ID+]kce Rm+v$)z)f ij ܚ~ovX3 4f/|7~&@6d_^JN4R"7;Yg0:%oʎB>]Ѭ8z`7hMdh:7Ef_\S&Bku čMD P E}w_m! ~9I2(\۞T[cǪO9Ous³4 CO}' 3bX S8mHGeyo VS\$vjqSBgDÃ'm۾yTj끭XnoVu1.h$Q % Generic_Join  AJh+K[DEdyV %g4590"gS|Eֹ =~GSYTJ*]8y#h6Dh3dgqLs)z)?/kv S9⽲V+༶I$Z_Ԁu rp&[(Sv(Q 8z,)d>;(ӨXI4齷YRJ'l&ZX˔hG.&Gg_+Fj!4'u f'y`{{[LvPeK WB7 =ICs_J(o9|R͸{s>290Cg󎘜tD"CU(ٮ;#mk%bq>Vom1w+d9m{{jDn;>xjp%03|p,~N1<zW}Ѷ7Het@7.c3]goY#y-,v9A"vՕq/deW6HaÖ5Colw-U僙>l)Qb@FdnɆKL1uv2z׼Eyp T\9LM!7L:V$L! t X}ֽ-o=]ŗXiɟ7^aόu&XL{qd:%NW#..ՈeDXJ!c !*OG-0յ 4 #Z r>MG|9;($Ig%YC)&9gYZ7zXZִF!  ]ŗXi%L 0[-`.:7WO1ٽq>8_'̈~JB[m>"j b̧"7Ԑ+m$kfhGFWR(V4:\7ض ]տuu#i]8vfWIj\Aܕjdxk;$?A'E/vx~G Ȫz0r;}jKjҪ(ѱx {WaTJ01.yyS%bʙq$ {7y>:ylϘ>O`%lu\b >vGٟ>-YS80/}@^ܔ>52l&l`(P hsѿDXę(_zkxcK z4 ;Tu1OI-%,`OӮvߊdv5Kg]MTM7/$g^͝Q*}==ˬ1&㾣b '9F-vOaKl PI-KșDinyy!`52?@YMO4 aVJ? ğ%469=j@Q#Ph>{4#ʥ=d\=y ?*aһFYi#Ӯo]^(vpQb115bDJ'm6VcCsjb\/y0S h8u B00Km)8MB8@%AJ9.:}I̥}k&t b5`w/c;XΩg1lәLoӂ,w5VDh"te>J?KD*_"1TF&/s=j-:aC)V?ˌ8NұT#6r <;IHW]zި vW7Yl%C^DO`jX0P0V9I'&goV{ =r6cw1)(H}~;n‚5θ.Đ"o8þ7r"u :LD3̠ [VZA:CT`bot' u4Weg<~y6\I-,sA6)d^f3N}Qes8bf/տ`[Y,5F&#hʢB{7t>VTڻƫ$q֢Iye;9)HL9)eͧvXۭ<7bZ{`lѬgV%k9TԶ϶t%YYZxS$ ]©W3ヰA/B؁2-ovn V=+u0=y_p$kRc |(8ߴ!hS{s`9rڊJ0sW`:D'9}-8I4>\TCq(-!wb[#nH!=~,p$Z