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 ::C- |4t ] HOL-SET_Protocol:threads=6elapsed=20.238cpu=86.764gc=2.244factor=4.297zXZִF! (]ŗXf1-q恈%vA?'GAq,$L;׺N'nod9evE}2TAxaЯW/bt(%/ia5@`n?<3 nH> Ts OpO L׈辸:pTD,ת^+^6y] fRwZ)]Q^[5(glQW7lh) KJ;dlD907߽3@[ӡrF{њEA$KY+PODa?G$kiyHV{r:|"Ƚweu쬔.I#ndCNOizosCB}B) . +QVA.w/`Ze/-35p|#r͍v8\_u"gb?]u- ]!Y;mP*UofJcϧR*A:Q?hʜ;VYfKj|5b ]Mՙ*#I UmUtѤvynhU#C6v49h)x wDu^hvݺyU送7RָnXYmg_!`hYT( lvrIj!s2~Czk8JPrj B|0~Z.l^Y8N^QQI/gYZ7zXZִF! H]ŗXiɟ1$߆tI)|yu|fxTc0I/!$I_̳d&\Az4*Wy֧O;ߜ)ֽ=r0dxl #/aҋe%Dֿ:,w8_^p-D `6s$I\;Ih^>oq>1Y dg9kH$_~+N- M͑0M ~>/y.\KFL̠#|lВ:(k}g 4+5 YVǼk1Ң`3J=RWЗĔh#;wRvVmu|APT D+vagl9 %;ӡzӚAG1s! #^y)^Neb41 "f֐,Dc^d0-P5@ZhO" ~_ݺ Nˊ3!AWpW+eU*%PjU`ogE`HaةQ59³/_A؇g;]kw̅BHd;&) Ad8,B! Z- v=|TXͱ!-4 ~}UWvC1b}6  }?J4. yb6:NSǨaȗkCPeҖ2y! 2\8(յ7u[&*oBu(PZGTr)s*J\aǶWB4A}M,8-ٜw(vkft4r(oR2D=v3`A b6ċm-35UV1"Iq`1w