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 ^ l / FLP:threads=2elapsed=21.461cpu=39.316gc=1.388factor=1.837zXZִF! ]ŗXf1-/6vRZlh[`QA\LA_=c!z|@Qm`%pZ}&s&Qk)o^c`3dAE,ڄ"sNú4al.AKF$SuZٓ[E7(] : JBxRʑ0 &ڴkא>b~/|ugaR|l$QՏ'7$P]>G4 ̉z]J[ܝx3>o)n%nf*TTީ*5?O* ;'#]?*Ӱd:sS+Z> d9fOmA2"S:^RM$>5m B0v$"67Z!H7+C_;gFy&J _B]/\T= tN)4׆EC<;VbhYg1_.Rt k s7tl*I`D-;?ǣ-kW81"ȀM0dEЂr0&K[Ӛ`Rs :w>8hbw8<2p>ؕ{ݳ !~N<}Wb[r˓oL8Aqو))xfNov dѩ]9ꞠeEcReǔ$)m1DKz ^hѡt-0w&ˆHs1Np5^lQX,$.>J;77j7]\g''Ug=ưFE-!BwpNO~HM/)]T;{Zy1Dڋ/j$#Wϙ(>t9;V{v͎wJۡtP^\e` /"V^}tNUC"LAomҴ^*yt{1C^'2#[n;+Og}cVղ?=ɐukї KZӓd(m|тZk yҭau>$'hKILbt{.8e zuK^oebnU[;r!KIjuoT.Li 馌7( XI:J@Ȕ!AeDkr zXkCl *~=g[nY/hھ9.V6~7߫$@=?gɮ`">џO "2E,k3:JvVE@LX}͔<6 4Ѱlhefq?%2Mpլ !NJ%]@d5#,ey>|T茱-p®Q/d$4–.Ki"Iy󟾄u.-8_!>RҀ>jT-/}*]:fz>~P՛/`T T d9.הXaiؑ:BK%7G2i/Sm׫{& x Z G<.ڲ)xx-k`#2U:sz93 T)K@D4H' &:T?u`Tؽ_f8'*?Y,MD+4l"+Zp>a ˔5HC8YRg,ྌ ~]]9y8?yxlAv|mkKm1K7Vij@jPh`"}azXx2d'o/xQ n3T8O"-c u'Mz|DU-L݊?i:D䩜r]@wk͏0J x&³aD\=cBӴXhWF6֍tkub&=ʚ.}+=T'z`WW(