SQLite format 3 @ .K
B T11Stableisabelle_documentsisabelle_documentsCREATE TABLE "isabelle_documents" ("session_name" TEXT NOT NULL, "name" TEXT NOT NULL, "sources" TEXT, "log_xz" BLOB, "pdf" BLOB, PRIMARY KEY (session_name, name))CW1 indexsqlite_autoindex_isabelle_documents_1isabelle_documents--?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]7 indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info
B1rl\D ]/
Tree_Decomposition:threads=4elapsed=4.573cpu=13.720gc=0.4847zXZ ִF ! -] ŗXiɟA5qbh,B~\pNJ1Q[t]k8%FP<5>"%{@RoTLe1"jh]AW/I0ZtWZ3ygDiHQLm,j~C.V$[½E&?`e*×SXPcjmj@zzDp`S2FGP^':g:0~~W"z+
; T,OO,r. iŠ 'Fg YZ7zXZ ִF ! ] ŗXiɟl%_LW\Y1d.^(^SS/u9r yBnGof|ؒ:yi_`|xK3i̷kiJ%~|77Cєd{t
vnY@y !ɸQO$XۤC "( Lg YZ7zXZ ִF ! ] ŗXi%TW
?IUW{VCN #ySsޟR upa
([ڥqc};TcC6fTY2n
ܿh#}SiTP{J>ZSCHlw860&l|dVVo%uh SuzL3Hi<Ϣ:nN`
qsc류6¡吵TA]AlfXC^#,O70`ljJڍ˭z,yYYGGe(L8\$mU!GD8fl}RD5/$=x7l82Ubհu
;=(NTxZ3E7stȅv.@ܾ+X=KSȓ
T`T5cFxVpŗCýče3E+O.Q o4YeRX6nH?9&"~Z-))CB4vB U4~}И5ŸA
Ng
M} J)ts={!>1դ8/\nJ`kY N&Dm}w!:KXJ&(foKlCHO'qjY',ZHv
]ECɊ_>btobK{4oE=$tSPզXB~~Ims+u3-Q.pϯWďbH|p~.i
97pY<)j\MiH+'vvL
.zBe'nX`L^>EgW($fEYF]%V4iSw!:?=D{jX(?T1`@ meG 7 pg YZ9c149e4a80dbecbefd683e8668cb6fae776518f23cef1131ffc36b5267ef54e02c39cc49de01aff8
1f732b8f5676e409931f4b9c5ad7c93b8b8467c9
1 Tree_Decomposition
# :1_S 4Tree_DecompositionTree_Decomposition.TreewidthCompleteGraphdocument/TreewidthCompleteGraph.tex7zXZ ִF ! b] A-MՋhvG"uIBm5r${j&
8azYS|}¨A-Y7]Z* : *;|'!,|ám'<
NYm1&>;Kz"ӪbyJni %ϳLLa6qTNIpÃ"ۓ~97Vv&*xU%HfDOiOYMI:9?3"EVnz*ңB]%*
MO㉭9=u]O(d?_e"_4KQ
fiEjW5iK%wP;2A eL آ Ho\u!+<@LyPہo=T*"J<)T!:"} `%8:tjJ!R#
ozs;o tyq?*V+_k5Ȃ9zs^daҩ m=z$UZo-Ӟc0>Zؓl+8|3KIZZ]6A_m'-cFy[zΥiteiO'Q~-fb &=IxD/LKJ<9ͥ7RK'S)
-iy]x]AF^nanf)kޱ~k,|7]EvW9Teo8BK9tw0G>C^N>IX$=|fә6SCzDz/k2y#dj] .~t/x.?>\qhHc\~T{^̀=sW
ukIf1Яп*3i:RR
'DOk!@\[.;l#ѤsNSpv:ru\;Qn;֫>M]}Ҫf\K"(T~(%=L!Y@y._;*C&o~synlF#I%PޮfWkFVC@ȁ<d)hۮ)&0K7^Us~"3.C0YⶖS%WhIg5?GjJ M3Ʃ!_t+ZJ+hЪ33O_Q3cԮcV ݖ/\eV4"u}#Ue/#yƉmcb|g1 \^dk,-s/16le^K t'Gcq3=Q$2 VIEp=3pyu\$II&z"hPIuݑRÇrQtBW,"r}KqgkR*G "[
ֺV=Qcr±G|l^ackK)ECZ|ByE%mtihA
ENJ~!.;iqӕȮ7&qk( 9ڛ IN7qZsU!*3%?ppdd5{?-G ۂ>wX/ ɡ
rG5A@҂?pk| -n^UGFl)- hci/Xя5ҘRA&F͇
)u'ѧ$c_k RGͳtgUO[ْhUaZOb:!ZuAVֆ
l_F3_͠8K!(on= ;UuMqo*ME),c*^p