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 %! $ #%]Launchbury:threads=2elapsed=48.011cpu=92.732gc=3.096factor=1.937zXZִF! )]ŗXf1-/6vRZd*^6UaNntIBu8u ӣ6)255hIt{;dON2Aj㣾{O 5CR2g!aT3p1:)߿1 Ljh-bdp*a;sC35'[,ziՁXYNI*Pf7ddIPYl`偅ԾX B'z& t*|-\۔n2#L B3*J1Qߋ_ >,޵Yoѱ7:hW K auKQֻI4ܸN5(uS;͑W gp v%:;jMAם3}҇Zh ^s{$C3jIcS868SU63A^/=Tw.C^1F;\Ef[wS+) ZiCj翻|{ذEG@0"K/R}y $8 ?vMx?Bū`j৴ ^MB@jrv W4ƪ1=;*AY*HmhxJt2LiYIj v/Ux/ ,D _]s1AZ昂ג3N֬4ni416_D/kz8$ѹ>eyw#3&]cBzky:fscÁ(Al/I Jd$32kc6"yV{N]Ixb9|:LݙH m[.OfYnlj ED貪 ޸M?_z`vbz+P TA=[w XOW, )I8`di('d I64LOM D\,)f FøLH9wO`)(s2r3>u?H5<;&jmܔ V8}8k \}[W6,6s;c\`7Vbi PX6hb-QESl]izY% ~T/|rݓ6jh5"WX't[++~y3`r,3BJmiJĵa ϗDΓ:֦G=+r:ڳʮZFA쉭EX̓黷n$c0q'oAy HX3@2f? !c+:T]Pç~^`BuxtQ%ֽ7(<O< XB ؅ Nc64l3V{Ù)Gmx@CQfgؒb 9| m!|/CPfc<*Grӟ £oH0^`%fC_[tRՕQ7c6bǗx@~ ySqVwn{U  ! Launchbury f'ւ0{F_9<.ۂy9L[/& B_uAM>k$*+w4KzN;Zˌ.)7FgFd-3E'>6Y7b(HIDf-w+@;%9p>}xR<Ķkk> L'=mn&98߬]CI6#>%;&P+ ַ-%dj&~hҴKXߣ0M:Zu]~ [PiHUWX #Q2l\p}̊5e?4$Yk' tiFD1X<˵,-]m p'q_j,nS3eX|B^.rت6Igᅏ 5eןT೽1 -Ś`SӉF% py :^|zeL,/:U~Q{ }Ψw}&*gp1z}QGrIh5}cYv4|g MX1kP =[Gwn>o)^ øAvGZ ޱ۝G ?tڔF2c6z3),ھD~v4B$NxޞA t:Dw=xoܜ"5 ?'\芒&Lg=zxg};&`M^acٜNeI$MKu]G p3 A-NDyk)TEPP.~u8U%KpU莢t,asQ"C[@`E@ȊOBI%_/ CSM;ULSZO g6gb2a5imkFpėӎf>tpX ̀SK)L_5kI9G.qk(`hlٟTJ IJ=e¯D͞dMiJoY8MH}/pLC[f.)sY\ =䅸&LgS25'nIF3(z,u7D1}Ev6WWX"(P,6zjSjF93.cI17lt1.FI+fBMPqc"O_9Bv*]u QS;eDo_ĵ.ebIn5=lh+4<*AG$9:6@aZadZO45Hߍg& W “`fGsԢ̈[}~0H#lPո7%Œuc/lGP ~]X`B ]zT6Ru&tf&YS0) ^KKPlm Im(vMcX|;`sUE]֧6b\w-.>WHZ7xI3F _Tw="Zr2|]S Y9Sjd$|NށBk#'=v@P#r%,V3UIKQbT ,