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 k% dTD ] Finger-Trees:threads=8elapsed=12.091cpu=27.931gc=2.452factor=2.317zXZִF! k]ŗXf[&5Wx(03Z*}?6>8cmq@+ljsw[E {C!ߓJQw*XlEN`r] ]R~4#D7ͷֺA lQ_,z66[D 0|9qam LD A8Vgo:2i6 QV3_馲,cG;U"UrT7=6m =%y*\I@b<`8."|}Ub3A8dRwyǹp4mvD&PWI %GgYZ7zXZִF! a]ŗXiɟ頪{jtJ" ZYYh([5E |8)T: *t}jW 3@HȈ'$C }w,gYZ7zXZִF! M]ŗXi%>t{1=iOdIDt`1Cw>oqf %DqQMtѣú-| X'̔cî髖,2"2PzB.?CNnwUkH_ځ 0 kQ/%hd9vEm#A=g`xtXC{!=\ 604QXuPZnH>Z =`knF/;Bݺb{ۑma[ vPg`7Ma@(f*V> {lxb]+١qoQĤ^^\dYNz*SQ9˲&ԔŶpгXZ\B.C^wl8%9*k|~ -!&}JX_6b#G(V:ڛHӢYI҆EL#5VJgr2o?^ˠne˖5]>?ހޯɄ"v-d-9뒱(7X\&z6㏊sd')諽Z@=s(NzFy+\Տgiu pQ2#ebG]b籚7yq^dFHUvt:zL[k%"p<hv܅T0AP׻ , w 5'U,[-#VgSy"(ؾ4|^e  ֒HA]{"LgHeŕ^9PFiDaOj>=7pA XZ6 mHdOi(B J+GsM]q6.d͍˯--[6.fl0ͰU"c>aABxl Ent=8*O3zb9.vp,ё As~@z}:G$5}mN/VLjR(wr4 ݤQkwQx`+HwbNH7J)Hp.i9"/PaѿոQ`z)+ iP)@c E2b j(\hzU8CqqcbY=awi]7͡}&793wv9."PVR) #,5*:֍1΂!Ъ{ȕ!P$T"gR|e/g4u߀S}*! իgYZfced10cffeb2c806dcf67e1c0ec3ab96d0b6e928c58d21ba3dc8b698b4c6d36f436849048b45c256 c642f89151926be6cc7824e0701f1f7d684cfe9b 73b47e28ecbfcbbc455d66c78eb653314a508e0b % Finger-Trees