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 1 LL %S Abstract_Soundness:threads=2elapsed=13.242cpu=24.344gc=1.252factor=1.847zXZִF! )B]]ŗXf1-/6vRZ\vW>_vIOqۻh8 o'f]F9-[cch 1$ms.{k>r%{@Bp.-'Qճ" F"آqu|5-95cԕ!an2Zȉ +B߂) zk3Ə,h JGȤگ;=78O`H28f!NweӸڤbwN@ioϏN;vRq|B;+q)5oTNdMK `eɒ4i2S|Ä 2ܸ_~Ob=[gJ8F<)l.n68C~,>:#`ho\\\]@Q)s=ɘa>-`@'qv^DOCv10+]>2Xi *V>3(3 ](sXS!P\d-ϼ 1 [D%(5z7X 1"ɥ( W+3 \>n'kZqSx-/k£\uO\GA j앦$~mHQN\%u#0/k6`ln(\ۣ 0џ]a΢C8/73LvFmB<4W |'a63[{~IC9M3Ӑ{gp8"o:PtU:ȕ)'R:m" s3`DgdXiRHugYZ7zXZִF! D_]ŗXi%s ec4qϭ1uȝé!]4H IyuW ;ѽfJ-nދJ[" 7o.UI}P=ch>W U@~1q~gs@5켜 kn/V  'o@kG1hƀY;eu_dDEVc5_템 m$;seVK†+:O3¼tsW+wy4a; ө EXynO)!>?]m {^Aqzk%tDL}`<͇rU(纂+'b=SPp<YˮR?t,/ѶJ7Fr({nYN: ms"=Dj:b%TW㻱%o8}bg[xK,G q0c:?oO)3h?R8pkr!T%x@`;ʋhpQ'y1I.wdtr }C,NF}يJŚڍC463!Q>ũCӐ q}8<\ ;*jfG ZG[Suz^ܝ L; m|qhA[:|Ȕ]8,WSĊnZbF7vy)>"*ݍn R bG m<]\3V.St!#jB.ac' DoYDf}"$