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 73 tT m% Residuated_Lattices:threads=2elapsed=29.226cpu=52.040gc=1.608factor=1.787zXZִF! /]ŗXf1-/6vR[Oxtۻ<8(O-H7;4p$=,KGP?(aY.)ے7'.Ù2Čz.R~Ưg}kRL;2X &?OZUGb+uSn A]6.t,I +Oz};Xdc7|7eOsD5ūyS&0y@& z{z̧3P]C?F2H&FotF$i_+59O!-e]]7,̛8rTp.;wdUӟJۚԸǙL2. +!&LO=9! #FJ׮Ҡ HzFN pܴ12' K@wRbE$=B{ȟs}MHʖ2Ԩ[Nw'U3bOm;mSldXؽ.؆7Ttc_3d u&S)ݹT*A@}֯ݐbL>V" c f:Z#1w7>+D긮%t64iq25GMԕw#2 13X3ҪqepvJOG]whzseFP" {L]z k- ?aD1h~Q"ga Wj UodT>:%+Gv*Z<jiOZ⺜]8}ZJ 9滛כl.-;] Z#G@;~Hp9H= D|p 69_8)zzm=`AYڔd)MݚfDdX5W<]:8t"O :Ev0,Ivr@wWEN 0%(*K@*;+R1F{e6 ڞ1[.~]i&I1b@6m̻قtҤ$p5YeJ_Wc>gYZ7zXZִF! !]ŗXi%6xky}h^Sȼc{x+% {' DaT6|}W"=k>CїUt`m!j<6;k38E84T:ڧ1JU)[Ο@.MO1Qa]AE|V0Nx\Wyh̵4=ʮXPAehgWI<@Ǝ#YCbΝnzfz(75Itql y"FJt`x(u L J^mBs+ߐ ]+k%xߦkF/;\V}j$tۇrH88ҥSE~&tL~b::=GcHwg WY͚val'zDVi^~A<%Hg c{풴*,9tcud6CVcFu|7;{R!G4|%dZ*}<&4&Xju!%$e:Fs6묉"=e~u0gkȳʂ5yt>v/.$QERyuzH,q*°6=28志A\GrLؕ'IDq;QD_Na֧с!m ׭&'3/اt)~+fzdpbΛ|P*|`2;=8`bv<"i'iLMF$yC Sek0MG&2,ix&ԩ@`P hbpz$sNUC4`^-5Elj.L>m+ʒ ho7`f0m/aq6ذsBr {':߈:hɖMh>_+jߠ6U7j*gI'z!0|jMI;!|ջ z*OMMR߶lln!=h!O U4>Js*nA}kL M͉3,NM1׽%Ӿ!g%(ީ,&۴qV, *}mER 7N/mGvHqႩZtE;L4I!ZxvD4?@X2ߖDb@Gf_&%-}IѹlkBH)9 A>ӵZjP,IJ7ذcLZr*":cqv)Dгq!<41r1 2 ל=AcY5'\K_\b%?m~BMj*:ecڞ綖 k CaK|АȥΟ$TڟҪ9,CIFhޛ4X[ƶDYtVdDv;?ǂ{'D y:Ζ.&8a23B~nf.O8 QHd7;;7@E]o#TfRbb