SQLite format 3@ . BBh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_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 n7 T l ]% HOL-Quotient_Examples:threads=6elapsed=26.397cpu=39.884gc=2.456factor=1.517zXZִF! a]ŗXf1-q恈N/|p~p%++"yqL^ ?Eu@LwA%kUcʆN?E= lbwX 13Ԣ}j@];/fWb F7,l S#7˿Wj༹%GGMM @Jk`u>3kNK2bx]~ΐO~ݎL:pQΛpd+:1:>_LI>89hMw罏6Ft%O6U>z#CTўTIjMab hz0۳2,gN4P.ll{B\n$,'S#]$5)HLXPlj&,{P4[?ӕ8z{X j}ֆ2l ]iRB3\)#>j2ucW!>SվꅭwN>T67R#(*>B)-AG_7x>~N_sxZ+Qh' Y5ZtZ+"?  0b:p]%6nX AX\G5+`gYZ7zXZִF! ]ŗXiɟ1TgsC2MуIT.@o\֙X$560# S(U]p O+zdy4F7Ӣ gTOّ ŪVSc3?J=* ǚ"Tݭm% mU83KrNؚﶘuq qrVi^ kmR.;v뽙L趯[Q>.֎nJj$|%"Ŕ;0㧔d%?-qՏ53>8"Bdywmhփ}PkcVdY/ٍ)?ݾ RoYn#啜q˂OZ֪]JHG1V\NMbi$Ae@רkн B Gg n_AWذbi||H9Y>3P,Y%d[֖> L:$F5'^k2oB % #є:%nQn/#fVZbV#xۅx^%TΫ~#$4e9-n8hj(j*QHo* aUuF$f$?ՊnC#SbV?r2?jR^:2V򄚐I(t!P.j&)`x&JukU A.BO߶Gն:^o'>^.IK [ֺCQ\0 ^^ŕzUQHDyEX?qwU)D_ x3 A歩P5WX Rwn4i$ X> gYZ008f70223834fa5d0c892ebcd52e500ce1a439418f0f23b1ee8368666f183b49cf0e04597c11b03b 51aaedb747ba6214463c72ede31cf3271ddeb463 d78ba66e93e890729f45436e57b003a4582e2c4b 71a75d989f301506057bf54a322c0503cb92477b e9469186c5b0d949bada2c5b6bfe3d32eb02d9f2 7 HOL-Quotient_Examples