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 3 \, m% Residuated_Lattices:threads=2elapsed=29.703cpu=52.544gc=1.628factor=1.777zXZִF! 0l]ŗXf1-/6vR[Oxtۻ<8(O-H7;6E(|5g^Y6H4i:޹Bȕ/!eل7xovQvѪ=!|F7'> {&m &8"ix2Zv+@_ொ9[!Uf06yDlHTf 3&pY}xWqq]J4]4)f*gik|ү݅pC*̘,$4q,G;j-ub>뻍@Ec/#!XiS8F#p}~h.0#'ᘥ\Nm6>0H AbY. q1E02#~c+D]nW.3L΄<Dj6Q0'{E$19AU/gHkc?KvPyl]wNYtP̏]PAֹqNRKsLtdfAiFB6ߡ u`d/3#TOcL'~ L*]ꧢԁ!+QYA ̦$QK DA3d|i.H܌QLҏ6dy }pM$IV 3=Y-34ĩmo/f[i+rg5|t0^q娩9S+&.?I̿ɒ,N9h)eׂAD|ilX!+?)|@lsnֻ"*cHTt W,bѰ$2HE␶=j F*u3"ų?xh-Mw#Az% kngUnCt{mf*qBeTYEE*48rfJKdN Z[rs_LX}zv=MEYTKW+&i$-X d9ϷCIԶ3<Mƭ0 ՘iw0 YbdT5]Jd0=xñeGTUڟa?z@~7f4 _i4)L.!&l3cOPi M<K ~<.uIojs-ܑTF(6!g_Y1-Z裏>/a&_(f+֏56< ckSDܡ7CZt/m텧  y2!K3}@Ӏp  5|r|y/[&6Rvov"YͭeـPǸ-Aghz6&@6I3(_mC0(6$,%>~@֟R\eM(4`]'BZ\ #X~N+<%N DK}pͺ]Ȋ$|VBӖ+p ;1Zh<'Vzi~!>淳ut&}_H. oýS̷q@AU=ͨv4AwOF/L[.$Ya #;6]TN1T+ \$+n\L3@ke,0$Lɳo=}(S~.["@k[Ř~>Mg,|R n1D MtT'wɶ3-|x2gmU2=!\QtD