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 %) \ ] Binomial-Heaps:threads=2elapsed=20.629cpu=36.052gc=5.500factor=1.757zXZִF! -]ŗXf1-/6vRZkc- R/{^~|D/=0|NS+k~dLĽE*LW=Urɹ*wsN` kվS\D e8 FfIP̚w6z->b2BIk.8Y,- L"JapQ, ʯ R[f{D;)R߳5tW^']"bB{{uǃ}y#%u'o//0)?7[P3,Qϰآ/٤JK)PaN0+UqxP$qLuup ر~Y}}/x/K> D8#iM*aI;?Ю ^?H@ %Wxr*s/߸{Lu5a׾ڒQ2ǝCY2uڜ *6:SCe_-T 7lrf1d?WU}C6j+ w!Q-I`7́Sz|,Q:7t>kJ);\;yO&=2m!;qهUKT-3,Z{q<#BLuK&[@1Є [T/$]2.H}HNr07ϭ$ L=B`iybϛE@Ɂ⅄m0s`se9?iT@&|-Ԉձr?XŲu,`rY#篶 Oig@"ݗ8f4d,*u (`D ptyˇv}N T<yS|+^!2IȴXe*iYŅECNF$3dv,sᴼzw. ()bTGX *ڰ顪@.0~A̔ م9%@iGWc[ ,UX91}d&p,r6Q!AatT2DI 5"0V3CB`Nx>5.jd96I2rNlS EB~,֯b ;H{rH{i &| 4@(kq!t#]|wJ̭'~;8_c· mp>]UN|H/^F$| <9| ˝-B ){N0<ɜ;RhI/W]!N%jzD̢4 %P9;v?JݙkGzޖ0OFL ǖ8]l%g=]bH*v[ ogYZ0b67d2a3ee2b3ff4ea79aa37016f8e934cc7d7588ae0489170ffa4e9aeecb054da5126bd23bcab2b a42132ca83816d0082ab6b716aea896bf4d99d0a 9dcd22a721fb4d6cb69fff249fad38e4e65ea05c ) Binomial-Heaps