SQLite format 3@ .0:  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 s1 |\| ]/ Tree_Decomposition:threads=4elapsed=4.646cpu=13.924gc=0.460factor=3.007zXZִF! 8]ŗXf[&}/;`h ;,`%uUxp)ayP_g-w#%n5r1>r3U3߻_)J;b>t-t9e&i8B#}^{J4KFNi=WǗZwjz9X|9$rIGt1'viLfA4H{_ǺץþثX_˖kci'Ƃda9~*1dgBg @Q:cH2=*HaVQ&}Wd ލygYZ7zXZִF! ]ŗXiɟl%_LW\Y1d.^(^SssH;q9, xw+ZB$qt%\Nna6AI)ԀgYl}rH=u1; DȉzX|=VUŋ]W .0MLgYZ7zXZִF! /R]ŗXi%Ebbs4aK%K2O 0}m~Gw @V9[oc/]J@i#]֐' H_=Ǟ| 3 LH *nfʌp̷}b.ElLK3M cB-R)J^FF(0vA ֦L& Q @vsaU#`J^4!X^ IAS*;p434tD\0r8zOVB}N;|V~u\ޣK rUS{lw'ۃ]2e96|з_}52QP󧜾VC9NPR7 lk?jXo׹kqTܜxy2A p - (7K l # Yi܇MZግJfn%rvhPA[c$/u6(/L,c瞵%. 'X@J`;T*`(,uZ:,ĥVw`ťE;׿$)j&ݞd: Qї-!v_ b=P@*>U% $-᳊:(7|.P5 ~mjp8HsZV:4\չuT7C^k{ec7ЯR"Ir<w _ƉH?8I栕  lm;<)Rmekb%RA}[@̘9٣_4|,SjL3JF=!V3Z+[q<䳋V(+Nbl+YU2ru9ig.n2򞑢"8J1;э$x"?{:u}liZCT*P{3s0΁%U*^'gYZ1b1c085b061381af0f9ada0301bdfd5252780662eb3269cfded2d933ce10fc9d26f2ba2f0f3e31e0 584f21f404c2863325b05768822512e8f27326d9 1 Tree_Decomposition