SQLite format 3@ . BBh77otableisabelle_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- t4 ] HOL-SET_Protocol:threads=6elapsed=20.313cpu=83.288gc=1.972factor=4.107zXZִF! (]ŗXf1-q恈%vA?'GAq,$L;׺N'nIcd0= DvѠ hǺ![ܚ5ϥ key'Z/~-QB/Դ]c:9^U܍y]uQ+ LYͫ%_;hޢKOQˆoBeŸ*ܶPuvP羔Ny*GQsmDU-GHkR5YV<[ؐ~/QRS:q)Y$p;'Ӫ4졈r<8c!۷"~. 0*A{Fi^ MPՙD*_F@22R#a2k%X$LD\xW.]nsoU&6&%6 szni oP rKq۷lF-A0t(gԑ;G2qGGi uE' LL#@>${% m 3y ^K?k]Wk459B(a?4b{n?P XVq o_fP'0nD(1gHm5\Tr'd⭒U(,OxvC:f #D&A&hը6g^4Dʑl;)5C>N aaj¦!sM؄}ATV-y,y;[mO&~ 劭kqq/UlV9p%XAZQBԏE& he4xbIH -y7DB+]8(h13*MW9]fHD/;M?~ȇ wZueZ[~8F_|h51-X1k"BdmP.ϴkgYZ7zXZִF! G]ŗXiɟ1$߆tI)|yu|fxx/ޘKCMKk3]8ҧ>eI&E/Df[ zG~3 $1S>#$=ݻu,Zy}# f#bnˏ O3 fk:OG)/4x-#AՉ}!K]* fgYZ7zXZִF! a]ŗXi%94-:yh`x.T!O3%۬- v4YC} _T=? C(y/, +* &b=YmȖ1Ny ,uA"%_yD]zԠd(Xk-ip_aSy*ߢ ޱL}4|;TF'MGUphm,& d`D"4 .]>%i'9 `;j5h<2{t9;]4jX&]z(酘iƤ*F_ JL*~ZO_UUz=8r[ wyz}LTP@ l\/n?Wf8TlT: Lj-HZ(jCGڛϠGV!<0}ʬ^鰧S8 G9}lϱP3~yr˅̆UPdGnꟸhC]*?ߕ x UJV " >ޗ8J_5ThRS.@FYj*} p t.iBIP4+C*1ߺAyl7$adεg&4 iA}z ǪΗ}$LsS^WݢVHЮ]t7>餄/b8>܇JpBT4e9R t]7e82RY6/|B5H<4cnt-a';׶ %/ItAMc}M j致>v`RE2cۥ .EzM+2nϸEK-8/X)D-/H^]W3|0h3=_JJQNuA@D`%_Q/W+mn\&P0{Mą BauS