SQLite format 3@ - llB77#tableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "ml_statistics" BLOB, "task_statistics" 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 44=1 D m/ Tree_Decomposition:threads=2elapsed=8.871cpu=13.880gc=0.460factor=1.567zXZִF! E`[]ŗXf1-/6vR[lN.5ZoT#80g- JzA}Ee ^A߅X(esϖǨw;ZPI!r$CO"6]ij2TulHLn0R[Y3hC`D,I<ݢ_XkL(3ZdTj%=3^$h"k?eAz1jr(JVsxo d߲= 5jg1mwa=!!f簦hv ǰ-RI> M(`,J:b57]bfilYr\-4S5UO0]ԧieҗ 0 ;SD)s~x0⯔QWU{5 4=~oұ5?2?k%%9~$O.t ']F&#ag}YIm2|^MebN{4MZT5^U!ٺ񥅑g^EHŊK!yV?eMK){Ha&w:;n 8;C}s,ݫ?+-ry& f pBG#mExj! QT&W֗N+ @ 4\c`_vipZoƃPS$OMJ Y7́d`rKCa<m!;%5pЁq>d5x^cO/wޝHozpԠE)-3{`# H©!P%m9Q/`#ȎK>- !]V}[4 1 Tree_Decompositionl!-Ts`TEIzvVCW ֎ɘWTQ=ͽuW=L5csǔq]?Š+;W$C#*eRUyl96b} /4nV a0H ToR'ꣳ%:#\6gs)1q J)KGBKkotpRގ$l)T;>*.~́5a_`/5_WǻMΚ5\+!#]̣UZZW^ŞKVmYM6򽹻 0n⊀"Oc,K9jan=yr9Kې ǢKeNWh*-,&}-.B=aO10 ~ b/] zqx,7KyNWYMb; /ma^9Pp^-xBA" M8T >3أ jK8ª2F 'Y, lgYZ7zXZִF! 5]ŗXi%>AȚ=rb"J'ͬh}_.5uiL{'pvVN( VN hd$yGZXx3 D-V`(-gu2r3bòW< %"w7NS 8i03 "DeTɴœbaή{j]SvQ\$l"jB^-5ѭڂm9 !iukՈ2 X$c"|pu6+j'9=fU (@%`x /]v"o۞ Tbz2AL.Ljw#oY:F"ܕeEk\ǣOJbB$R~YU>'‹t?F(U0ʘD*u]UϮf 9!-3Aђ3~&W9Uhb(:44-hLI5oD3Q^1s{U0Ђ{l[b>H_Фh?Uzy@YԠ^يVJ:[ysk:;hثNČ+~h Y )ȟ4)ocQh6K7Aᯞ4jt/ʳ3~`xSDvV~좜GSHf+ZBΏ3]WW#:U25U"5%NmxN7&$>vLֳnM}`F6hb1o>IZdBj>/9yM90aq qߌ G}Y%=b챢0pLڞKKɓTNt"S9noY*z h*hekY>ۀQmHȬ1\IiH8^6k< gYZ0a948135ee375ea4a9fde11b1b2e43f711bbfba8 2985b56e92208257adea3966050bf183b257ecaa 3f28cfcef1899f765b42144ff265937a34644700 4a3509a5067f69ec582761a878c82629d873caad 5b6f1962f7b26f225598636f9468dfc58eeae340 76bcefd2ca58a529896b0792bd01747990c7413f d54a5383657af702cf1dc794b8843ff9111063b5 e1a001c8f1cae38e8131d767ac65efa5d07f4ccc e4b7116758457dde30f28616086b32c74ccb7ebf878527395436048d51bd6287a500d1cb05dc0aeb b7f78dc5556061cc8d808a0347899300b2842457