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 __ + Lt I Cayley_Hamilton:threads=2elapsed=18.204cpu=31.884gc=1.632factor=1.757zXZִF! ]ŗXf1-q恈͐7ӺV )' (jև[gzmk*H)eU;5&0U/C'f"wDt?7R bB~ҙ`.r]u9K@0COnkٔOC{Z.1p>Y$RϗYLƞЀʚaVn"ga +mU% ߆rֵۡpeқ+Dw mGCuBl X?}7he$x>*-Z? /kuќCgή(a)q4P72S}q3Js72Њ/jK^]Ji5ǃGE>aO٭Inb3J/\#6T +\q!6$23J"tX4ot#K-r8{veIKL%c ҠDtn1G|Py"AGi3y:8ćdxC.Sr;^AIJnnJy nvɋ# + Cayley_Hamiltonu ȗ >6\ujՋlTþq!&m <gooYwE%arroh5F/0ƈ}N[n_ϓ&rgAvTLESo;!".&3нn+J7LM࠾З\E+:%w( 5Ȃ4e6P( "x|S%-w#1sPP ͟02aRsިFw#HRi220eƪ%QvH+-SzqK^}ˇT6B5DKԶBokk}y$Vp'7׍b&+ANR:))ysW{E>𳊽ayݛ;u%lś"`f֞Ro2%Sva(  !cds2g[ 66AS"xwn:[oyjTBirFgv/}j]Cf)U\],aR35JZwf%ohfsۼ!}+0Nwqn4#̀٣G3):ߧ|w~GsP{53U[ԪsX;N5cG> {f*bɱN y;ސp@QL}Kn(Pc6LѿQIj!L{7QLg9.:;}BݎhEuNdY1A1+Mݖrhl^R;P1C&օO48d,J~ 8h c'biZ\[vSޫ%g >cs.}ލ5쐵_x-)ݫYv6ƽٖJв>fY무(i udBb@6O"qĻ%%K׋cD7nAl 79֓\jO%,ؠA%ТquqD]٫8N/BUOښ+If7SlƢ`O=ZDp]qa0gxOoAkxu 1O~9$D,:|J;v0đ3- FA~%U߁ 7yIQ0OIW~N]ŗIT6ijn4^#JaC;ɔGfE(WgcBZkZ[ F"!كJ4(B$Mm ZF܀,u҄nxd]w'Lo6vu0["U/Ny!.=8HIǭ ,?ECvWUFGv,0œJ3 B,/Q: 5 \LX+w lGž1bB(DƱB푤v<ӒM7ϗܝLb~7βil{)A0=*]:>6Lm8f*v_CG5@DWԸ=j\hЊ!N7w-DtgCfdy5`;DQx5Ecm~a+}ڍ2(<JLT4d{|ϝZ_ΥqzW(+&N](4hrZ$o-O`Y!ȯ.2E/sQ5.)fY o]|WQ:j[af:1*͖XU5S0>^@*_f]rA*([6S<99)JLTzwnVbm!|=ȹu0gYZ7zXZִF! [4]ŗXi%Htyؒv@xp\fu "s{-Rp(t>BoG):zOʊO,ͼ&jaq](&*N* 0[PݪJMo [F5nMLgzO%fF {yt('f@VM%Vg!ї?sX߬I|{+cƉыhW%3hBì4zᢪIRU$=eg/c<!tҽzD'5~: f3B0 H5jb"u,2%@dT*+x&rV==۹_ %Ӛ0n\c=޵*i.&ѳQxcse Ρ;(RQ$*HQ9+˕eQ=M0DhGdB,S1^/.Q@;z*WzNbASK0$5[_wIO gdEύ~zsyٖ=:1B X5vo2;hkK`+V=SQFna[q:5[Z5O yxdy hJ$ܱG 93;&[a#V%_5v_}#fdA%Rܖ^QHmo K (i ؅f/7eMaKf/u7Kr6' W;4$5m\&jr/z%G>FZ lb uݶPڿ/,yJt$Qn5&;BյMY qCBp6B&dR~Wp*l4бcHŤtXH;/,ZWj`ZY!h~`d!ߗ9sL)~!cXIʛ.S"6wT%|z:x H(D~j`ۨ~E4R]9ZHIEx+)mtl*z>8RNzp+İj{ Z)/.LGd<*'6΂ LJշ 7G!2\vv=baqrlv?0N`c42fcXlӴ bWsF?!Sz=9F񅁟.4~k}TAHa9<Ő{7>|ɒ\FFE~A^ JбgYZ43bbbf0a3ceea2dd3fb7776c96be8e1f4b5ce3bf 51eb61e2a492504af9f8148f71377a549e367dfb 5afb051e020f533c044f16a05bd414c2af813fef 78fdfa1d3510f6708f28649e4043efa157ccbec2 838f958b45d76730a0be92b27d51a00c732b3a44 de5914860915128d818c097ac245a955c1587e4b f83abfa96c2346ecc68d747c8f1846d73e577b2e8c20d9719dd3c794171052bf139f7df3bda5efd9 787d9064b94856bcceaf7fba7c00dfdb93321f07 42e138dd2055b0a1db4a1f3a058a8966ebf86487