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   d3 <$ S Efficient-Mergesort:threads=2elapsed=11.304cpu=16.912gc=0.728factor=1.507zXZִF! ]ŗXf1-/6vRZCV4 JpۚF։}fj.gP А@^6Tw̜ .~|tߪcyo(LC8@Ѕ:ljh"k8Gh\61\X9){t3wξ*& qڷkCJcKk12gxF'@T5q3-UXSρ{鷥f|Txk5$U֔_sPՕD]Q%X fx;Y&jgYZ7zXZִF! <]ŗXi%6k(Ko)]d.]1N0'Pq(~J,-^ }>{KF&dDߥɉA^!v*LcuUQ#gF#\0ۀk;d0W ׆1 4 oXʫ6 we,w`V1\ɋҹM|[|ZdJ_^NدX9f?S1/My*;z2C1򯭅8 j[%UUx#n?+ۚA)k!/+ɋ D S?{̢ٸ]ZZo\gx3zx9Mh?^9m6`ُ|=EQ̫$C.I9(h1b↓@I$߳|Pn%.(3 =qxQf%WDE j$}Ԩ ̶bgd1ͱzܛg"?G[zIj [[*{\e'Y M26w@Ф\+x+P]G=Ȃw[X3կԓvEsDP!mG gΏN1 =1Sdžޕx6[-* Q#i|$$s VĦOim=gڕj'CΩ !L F.t,MJ+aѦ;]u.:Q;K86tG1}vbY*$; jma'/<*4 I!__~BuPF~8ɹ)Hz@f]ةQǗ4 Iz Ko H׻AYPC13;!?WT[+giӀ1Jϟyt0$ۂiHEy?gYZ17299d3ba8717cd4b2446b784f149c5440aa8081 2b44293b6dd20a34d66bcdeac57b17e8d0e4c8a8 338f5fc9e0a7f2ef67811da5a8179f13449066e7 994a0fccc0fa771e9040b466dda92c7b26d3507be4688efe0911f3c4685119d2413b25847e9bdff2 5d7bb405983f91dc88fd3b9e15d11dfc028ed8eb d8625272701e7304f76db642b7fb0e61f9b07c0f 3 Efficient-Mergesort