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 N Dd ]]]ZF:threads=2elapsed=22.434cpu=36.360gc=2.220factor=1.627zXZִF! ]ŗXf1-)9\l ݺn= bŚ&3(/.G_Tw>OjP 镏:D jiuy){֡_ dVJT8/U\V%pDuŘ8zj17,'`! "4lB,G}̡G='\w<0ˎ*lvkQ¾(Ƶ1]WBAVDR^źC$?'/`{C>lK-S*wRQLtT FI|W@,q_A ۆX,At ֓mu~㊤E ,gRW?iD71]H Ki?+xeAZhl h9r,U4͋x!oũJ?:1Kǥ[0>tįT^2 4K萯 s,™z 9.ﺉ(Ev4gYZ7zXZִF! ]ŗXiɟ 1FE`空?wLPxg`lF^wCFXp> ^DTܯ9[-|eau=f}DJSB,ce:N:a =(OKyȈpᐵ&HV&|f{ 5+"APCvRCo-J'"-e]dtEQcP˾䭻_nd  Y]O9ن2O N{>g0c[y$DP \N- 88dTVeLyeC9:y3WN\# ͮ%^{&L@1qm6WA%5N6|>^ӹbecBP;sy̦gU@)ŔCJms !Gvm} ;BқPc7ZFxn/Amn@w;ec$~Fw2rNZ16墺ضd3YvxgYZ7zXZִF! ]ŗXi%9(Pπ hHyVq7ȋH' t{fY4J|'_!9M΁ D,,Ř?;;.l  ,hހKTo(`avt67G7ĈûL 3&GXJwN<'lLbv. fu&Fv,`@KG+;T ݊v:TzL1bGK娍t<}X ΎMɺN1 pemPٮ_N˖^GYSrz$^Y5J[Dm  Jbo^l&Ti̩ REE5MĒu-pHJX&~% ߛ=NaWkh-pm UٚnD#5NkϪ~1tZ ,Z#8M3.O /&Yf]FUC(uڝ&[S{l\RI](J>93txC^T'pm9e]) `s:[QcHہfön8T(/W8k\ f՝s0V-Ād<%K|xϺ*,䮦ЮO&Ks,M+|͸9[ ,lѿ ͘>C̃\ts{k$Ɇ]»}=lH1RG$xTEE:b ôD԰sA"EA:ilJ 捓|,m~hwdנ㉔yj Z݇ˌOp7>րbVK+ OuFp`ci;p#gNoe'6@9РpO 0(/Q 8p0K`T7TcgdY$'[ *ioƁ+\xc}436 ǢY)7֚{@ˮ8TO|q8ڹJEP% BOOqy p,ýf鱤ӱuv2[}pfpU=w]p$ K$EOغPG}r i"Ͽo"u  T