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 =LL S Real_Impl:threads=2elapsed=72.269cpu=120.168gc=3.256factor=1.667zXZִF! / ]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jjVYOG^&Y؃APW:Kg!p~I .H99imnLmg\tb5>VdCqՈwjo ),|:LLЛ6r qpw F4ȫqN2ql۝B,yM$=4TwHJ2S{*E+\mҍ {BBȩtDC:#80k!I4^|)dwR p_?tN Įiœ"gJ+\̭>GeI~yfť9$sK86ߏLeۚxpmM+57/5/רS-h6Mބ*;Ӿ3wPލ#4tN ڢ< 0g8BH'v&}/b;7#ZE_# x}k6k}6ռ Ʋ!#DwOGgMChQ)9<ϑCu8+0i5pB:y=)ya-]tupefEn5]@0R ͵}X6 7f ro4:S1!VWOpP\04| {1]|ZIad,*hN1n*fJCavaބ>,5Q 0X*>MN07W {jsODjKdUi :)|~Dnq`5nZ+QL%k[uH͟i۬6r+};x- B篱aR M8^"Ag:4DNȮG1/=ٹo5 |~ue}: ǧ>7O5 ufZXi ʟU'0@ Q0.AKMX)i/tX! q"H&&O 0zQӘU8lIŝ0'yeO_y?oX8&l'4gWrD6q[4!e\0%<XH"y7[wpm LBdgh^}(hӦxC2ƫT'!YA/XфWM?fFAK>||1%w   Real_Impl@g>j5g! $ngB {*J3 sƻ[&O[i7;q{5VF)DcԷ=#Ʒ0xR *S4>hm<Np6_&9~,ku/0<끵`JpA. K 0&̋n^!RFヽH O, JWlhK ^ZkjAyTu[K.7Qk V߇4_O F{Brc @cY,f>^qݮRiI"$*TᒀFFſ fwȟ?,_kzDAhCOЄ$( E=j a wԮ2%̲k1p8`&1sBÒT2x{)B^yFVf7@IԿ\tTСfwbǐ+ΉyvCrk8(<[o1EHڂq+ ufSGA{KxTII+fZDv!ȋzo1k`D%>\[*Ce~iX3[9tm$8Q:w_iG\r5Fucsx!&ޱI9,@@`D ';9y?(Kǎ{/p{ 7.jeZxM/TIx~Ƒ+c~+ ݍ#YI3d]Js$_P¶'auW&1{֩q'r v(=3aaTaE+I|p +@om|y;N/?T^gx% vZ}n\}Տ Y1:+Az,{Dq/7˄2T{aO:RVc}(Rox=߳8moX"~C nU}f5- hy2 iPVh~tF.Iy)NJtqkW9 Ћkm`p9+?ѷR0w־:-'^8Gw 9ۮ̏?H޶l_r \2k5j!8DsF̿9my}Y<}o\y pH ɣ߼k6!1= :Qݵ9DAJ4Y\X|G&Лy<ؒW3aI'!{W KiVr'2 n𑔜h @d0$8Wo^))g_*,DA`Cx:W6`m#9pWNC[S{asy#r1J5aj}vQcL3:mx 'B;֥"bCۏ9~[E J fgB$sXb K"Z_˻?)N! ϴy$˖+iߝEg.S]^-|ڎmFgO0==[:"hA}/b=yԿ D"aurWdK)~z%=3qG(`aѴ|Mļ7N '.W_j6i(l=̦khIcۓn~}kH sx%{/@=-;.3HP@#|S䋒r}uwFNq6w:rRj$dc$ɚԎeG}KQHwb~ɈAjǪB"璆 ⿧*2K]>~LUETTTj\Q yaTľD$Έ4U\5A/њ>(ǵ$pFuG Xl /| ח_ /AZOF[->$:H ƪZ/f\  s D #̱ld:P'WWx}.Żo!pp,Csph{-a;3 d!#6LN\+t)[::Oa&ww}w^vUY*AȋH['b:"q1pksg"ۇ4QC TMdf{ψb؆zaϻz~I*g?D=V@.</k x4 KCk4mk9JPhv -4v>C#L3LPcNн"]20nڸ9PD)qB]a TcXҰ\gYZ01b545ded7c597f4bebaf85044f8b08c3bfb967a 037313e101abcceef5abbb7075e9537bb4f0f735 09e0808c0e37c102417cc80ab635572ecd263bca 0b69d8c3f70856201e8c054bc34357b13520292f 0f83e9379368d232af1423c3a9685e6e1cf74f88 19960bc7d8b92d1582c168aded65cdb6b2c70109 1e81db2254d4d5a3185b5e0072bafa29ef0ae5e6 3122c5b55089566c74375976fd6040cc34c326db 37e048eca1afc2c069cebaffb562a02b039bb22c 3f256d9765579d7be855ff227561dac055f964bc 493f6b95c01e3b8d08b35434bf9e1dbf887b5a6f 591f8d0b5c5fa506f7d5752646a537df33575b48 767b848e899bf51172cfcafea6b2fd397e8b0312 78759369f7db0a7b2e1ca4cd148107e261ab15f1 79f31440868c5686b204e83e4f26f92eb8d94f9b 82fce86746f9061205d625fb926c1da3b71e3bc1 96dc0ff1a4cda12e5cd78e6cd384ee1a92db70ab 9bdd5aa3a04f12448f7300dfdbe400d0b0c4b078 a526ece146642d823be07862c7c8488392c4dd25 a6d881014016ac510413e96c94577bf126ea335f ba3b3a5730257d7f4916bd70913829a914ccdf7a bae67d108c6c5e9b336b83c8f4eb0c3b2c6bec72 d76027a959c8044780f5a256d16ecefcfc8b9410 f8bf8602b256d952d1aef972c9aae94ce29a6c15 faf507e60bf30e4afdc86e8549f3fb8fb184297a238e7eeb3573fe8b8e9bb4deac28a0f3388ff51b 5945815fc19e2396c5725d8d6cd70bbf961a3d4c 2e77ccd1674bc5ad78df8d3d973a2576ba60173e db6a53e1d023790b553bb9949b4a5f49151178a2