SQLite format 3@ - llB77#tableisabelle_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, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info !!P? t< S Imperative_Insertion_Sort:threads=2elapsed=6.725cpu=12.624gc=0.160factor=1.887zXZִF! 5z]ŗXf1-/6vRZ4%LB.$8qĀm3d6'RAQ/Pwaк ? Imperative_Insertion_SortƾmُMѩ$0|-0z"EPrsQ6Gw6-T2f_#wW7?ce#ꗰ{ ,ZmrQń狲ϥ*S!2!j'o ,\8K!7!6eoW@^; 7rg^# TF郎z*l{P@I]$zی5btk;:ٷݗ9V?#;Wb_ׂ}qOДQeYY¢MIJPʋ@89ښ#?t§N;wHXFpQpS筯zsUqGߝuͪ~Drr $48F_ g~ceOQ)c*?$8#PyK)atT88𭤀o^T#e($rFiBz{6vC{ I&T)¹(jup#yC(QE!L/!Qvj &uLF*SVl9/&0Q!`nϗExi?./HRbC$8DN41y(fHJ+yZ ahtM6tE\ C *(iAV22 .Ÿ<\͐TM"L,El'lndXի -m:d{i/ l;^AoȟATn%S0[zn:#//}k҈,l2=KQ e7~KcX-|c17rOPhF$ulnM2mS+9@/z9] jf67ް|=_ gܾ鳏PyX3kaGQ#]jOq-J4|Y6ǰ(-WLbF!+~ju%嚓r3@a%ڶE+67jmDY?ce!ߛ&""Z\vBb3jLMNL(v;l|g9Mg,߼:kfg|חT'N(L̥ߟ(Em#vy`EWFs͟ICOje+"IįWt