SQLite format 3@ . BBh77otableisabelle_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]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info 4/ <, ] Well_Quasi_Orders:threads=2elapsed=26.607cpu=48.664gc=2.956factor=1.837zXZִF! ]ŗXf1-/6vRZ\vW>_x͒f>,Z s*xǐ'`b388~zc-Xchȫ#YTg wRШ`|ප! yO_/#& 0ء]ZqYr 1%p=wr I?j,N!Rs;xsKN*T+ݶ&C%\<)<wsNdYN9*fa2#@H4"owU|Tf5vZaACܓ/KV0wEOfHazۛ,%ۍjs3%-2b33U|=e0J*жk>Xf+o aG"b+w:PIZzkݶm~GUbY &N9Ϙe$-~#>rkZ#..`*6:Ӽ ɭܘ#+P@R]tiWPG.߁R2댕`C/\of$I xnϰ&l/ x 7?-EqШŪKߋ_+>'͊^@ftmR%-2AU~+?܆{oeu%n榇!]S741L؋MuLYBo_ $s&.̗AoP@5G6U6cl8Wم/!w綀bČZ7** -ZjS$Hp%מ;9( gYZ7zXZִF! 2]ŗXiɟCrhi^IxDY?Av|4vQ*bZĢٻ *r1h0CW|E.UClDjloX[סuZk}K}& z9>Ǵk,++M'=,7}'35e@3*X%Y$b%%.R@%y%,c|fkIX-K"ۣDGcv&?+oF㿥%cSWf Ap>TQ`\o%'6T$\WNWD|#(vfq׀\~]\W.k,8hq o݆󌕡1^Y@鮺0SID;TK S!)ؿ`؎k┙h=k_H@<rͼFb c7u,FܹšU^Q*|˥ucxCa]Zٸ Uǔ9R*:x5U⏆m97+eZE=LX{BO[䥉{,:90p;u2QiCtJ bH}is]aah8ZaEDI\ngqOEGTU F _J#U<]<}=G+K< wY_^(Z%tB9",0q@x9y%m[d?Ĉסr$qYnJI(S?LCIskHeT!w"_}r^Kn AEUL9\D~jMœzBimb$}L'~@5UW*[J*GpN!kԈק׳w\==Kӷ}ᮑۯ@-:dP`UO25a;/^R{6-)]PFϪhX KxJ=4檙w<_%r&O{WN목7 ne.27;%s;"IVlɭ؀qv B ~S#"Y\+oZ wTy0rp91>OWpvx huMCfHt}U{ [#'Ĺq^|k!0e~2Lٰ_4&L nYg(K:2.3_r !x`R9' H\uDaSz3y