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 3 $T< ] Selection_Heap_Sort:threads=2elapsed=10.993cpu=19.372gc=0.856factor=1.767zXZִF! ]ŗXf1-/6vR[]_ʥ4*M[#l2"'Zw H# {T,'PέsK]d J`2;ܚC\*n^[%d"4dg{oc/ ~su Y; T"]MXV-N7r=]mq/FGQCkbd#EH]Y_yU@u_~]fPns: k[GKK7ϼgYZ7zXZִF! ]ŗXiɟmW:FŇ״ˁ)ٮ-kZj$$I=WsJ٭;<*WsgZnk2xtgsTF -8QcG5KCVrzED< 55 ?(L1HԍgYZ7zXZִF! =]ŗXi%9#qwzR9NkLSaRL=mjk9-TB w IUE<%L|pT: @nY Laj^.AI|K|w!Iig٨@~|B`G4B/qJ&}zdymI; I+ߧ;t2nd7tV!*un I1ا3bt=* !%읅$"Dqs~Av!mZ%7g=J)!$4칼*r3f3V[3w6ݐ͚ws~$a,gO"!/DrƶCSB^vu~O!ևbsKX\y]]w<"$b&Q+`Y?ؘm.rZӊ`UйW{I+υ,@5ޚ*Uj* `&̴-Jʉ]ϗ'6\;H@45 [o; uR0]J ^T,ܯW$H.bKIZ}ȤN8H^ /EBtCE&HI`Tby() ɼL "d$Dž;j*tM6uR֊1g!{X|/+;c.(TPx9;:4LRhycvڽeW' &@?]'$VM[%Y KZL ׅ=E)Xq2p~#~ z%bwDÌ0ΩZjrLzHUgYZ7d4eb51929b0ad1d469cdbab095d8f30aa6d37328ae0489170ffa4e9aeecb054da5126bd23bcab2b a42132ca83816d0082ab6b716aea896bf4d99d0a 9dcd22a721fb4d6cb69fff249fad38e4e65ea05c 3 Selection_Heap_Sort