SQLite format 3@ .  YYQ77Atableisabelle_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, "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 __1 LD m/ Tree_Decomposition:threads=2elapsed=7.821cpu=13.516gc=0.400factor=1.737zXZִF! E`]ŗXf1-/6vR[lN.5ZoT#80g- JzA}Ee ^A߅X(e?hyF rܐg0cӳq\c@%rjlbK eٌ_FSΕ65L%ze7<!+vÎ=E I{sH I(l<ᵱB.^9SB$_fX廔@r!ֆHtۙ i5c+G"LJ=UKG.AF՞XC[j&lKx*UM"뙅xE  &a!nYrEFJ@S'"zU #/j"ڊı~`0Z( `N?׽zCQ'[kN"IHsd4ۗ$*fR7|*M^[C4UA[*-&Ps#O *SX#>CG1x\pmK03&"5ḱVy+s7>dنDn`#j\*7aާ%vQ$mz"+[{ -M=g[7'hUM<jZj "+[YBDpU4||.ZV%R>԰詜dEJkXYYmX>Ὶ}8x]R5} V1E@˭ 2>$-Tt̂N3=$'e 8q6BrK}0|9m$"fũ1L7]ZXM !YT.wl3k+1^4T*/NEGJx 90:3~$OC̊z %+'Č%-~Uў镒mp36usL@xel6j=eK4c`Y- [[̈-(\~cDcү1)A@CT)8R;gR ]SJ%ÕV|i"9ԥB9\)S\"Kr#7]!-;udVŀa?KTJD÷ KŶw߈sL&ncx:m?'0EƯ؜| ?|}< 93q! 6',՝O@>LlBjjh#6ufĞg3D?_ Үz`А1tm欺ֽ=8w>:oM!|Af-MWOv0%wX +#/AJ6٩N]೏92`? e55X'fةT cgYZ7zXZִF! 1&]ŗXi%qs DM_l-M3]Sl)ei4eAƧ8ŏ r p`|/KN3Hʘ*=+ F^P¸p*8 L55t[%r|(?Hi1`1 zoeT5'mS\sB߱MBvY~ ߅؄,B8 g3,ݰUwX[hU&PWd27&}q^9uZ\*:T`'|ieDJ)^@O֣=FKQE4;zHGǟR$qŦݑNTLG ѳoR foŗ (Jfrz:]1(8i [TǤ@|eKm㐵֐^y,UCœV#~eŶGl :] ~ϘY#4B&$z9Y Uϩ:` Y.WMև%jNKAmǾy?ԉ (uh2C2scp+F|?0ch-M}TF>?yX: l幠n lJڢM4@p>`60uurJi%(^U8rكjL 9<4Py33.;"|k -dĔijRuGg8R>?^$W :. r%^tW݀p">a\U[e@Bn^=)%6 J.h=tT3$W&dؗ_=YJ =6r74~e\g#^hD -hP7aW 9 3T+XbgYZ0a948135ee375ea4a9fde11b1b2e43f711bbfba8 2985b56e92208257adea3966050bf183b257ecaa 43c4aba3fa8fbe8452df3c1a57b29dc018ff53a4 4a3509a5067f69ec582761a878c82629d873caad 5b6f1962f7b26f225598636f9468dfc58eeae340 76bcefd2ca58a529896b0792bd01747990c7413f d54a5383657af702cf1dc794b8843ff9111063b5 e1a001c8f1cae38e8131d767ac65efa5d07f4ccc e4b7116758457dde30f28616086b32c74ccb7ebfc7c621c8c679c6f81c939be460dee2fbe4c459ff c121e04b5193f7bc8e7b1316cf00321a124849d8 1 Tree_Decomposition