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 g? dD 5]HOL-Computational_Algebra:threads=6elapsed=31.825cpu=96.976gc=4.076factor=3.057zXZִF! -]ŗXf1-q恈aldC>14aUV#/|) jUe!Hpcv`8/wyis)xq s uHOv`kzT߳,k^8^*eت|66dꐽ3xI(ώ.Y^*B5_Sf,oStnP~x2! UGn&%J5djIy۶ts،oyΛiN&u2uX(AcGreۘD7F=Kq20%UwgD_g/<@L˥U'l:yke*RVW3&*G9 ? HOL-Computational_Algebra婲eMI-vJE8m 8(0ɐ+Hr 'Nr Aw\e'k>D焍]ҡs9v0FwcҫGRTe-uRw@6 ӏ>[ 5P&nY.XB; `F!r߶{LfMJjEbLt(Z4?3)L~RS+[ј!IԂ7VF7Gj]Y\f,vth,ORt`^9YCjN Z \Juҹ%p]LE`Dǀq u4"F5EyfQ_  y]Ƚ /,xn`bܰYPm+#%xbґD@<=ydk8lptLf^ NWz/aJ{bxQo;mB\5ַkY%Xd&1ŶK G! [ޯ +Cm$u.rtr;L1z@4#o~ Z[gYZ7zXZִF! ]ŗXi% p ;\/R=̡Ӯ zHՎ΄LP4ܾ=vVS20k.7G*Ib[.6mfbjϠ[+i.`g4%rC]Gud=]Lf09uVT ӧ֚pĬͰ6wegO¥0<2mhUn'vgD N`Nucb|>|$]7qo@:ׅHnK$B /G'.×UkXtm/wR\I\_)ieu/䷩Q Ty9ynT?X,Mj8ŏBRd"v. ]傧L!G4/moX`G@u,@##U ZvwB]1.SUX::;.rT9Kz$j[1¹oCJ[ux6p3֛ iVFMc5w (mkoP j='44ժB)\?檹7]8/ŘZCG?;®'jJ{ԭ1Q@c&ϸl 1?{&g p؟-HEFpfX4g Ύ)Z