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 TT)C L$ wI Comparison_Sort_Lower_Bound:threads=2elapsed=7.509cpu=12.464gc=0.364factor=1.667zXZִF! p]ŗXf1-/6vRZڕ/0*]=DU2+8Q}89' pA@b\,#YfVe 9-RT};!ώ)C yHm!$}rQկ97-lqCv!Hy`GY0xTgv˂sߋ#vX77^g>BxX8pC%Eu M(sɵא67zӵJŅ ,|X/p'DNӐ7Fq\ϧm)0c MgYZ7zXZִF! .]ŗXi%յۉ(jb-OWʢu>1oC^xECuV0oZ*{e՟`#S$CN2WDk-qb/)) F͍G";B:cjK>X~tbFt8w(Z︉L@ p@<ȭARI76`oo],蟘 -Dn[)]QvհDJ9~VrMZk3Tc C 4^{l7Y򹺌*N;/olGmia{8]iv='xB!), yK@kdAsL-SbLK c?Yz C ꇃ.XivPKJ'KBao&Έe~O_t:ʾŰ`i+M,R < 0ol$*3*TfH[)/6p\9@YYoA#>Q,Q-%)e_iXh_#s8Usj.W7 ި/!fV?m2]+ث8u8S&tLGadjbho}S'*Rh4~W cTÙYH 0^lvݞbumS/_W;cQV.D1i0dZe|P&H7#8W 6r0L |h-:9 KǽI 42e݌P*׀uc`VIs-8wO>wvSPxƆ6@Az!ьg7E%DQ _ҳnPN:Bv=||u]œ-gYZ001c942e96601ec3cafb3353318b24d63d21ad27 437df7b3387811bbd122c72d851c069f13a3ce99 4eefe214acc9f42eaa94b978559c9f400baa288a 7ffc5ba9164a5135c8a774215c31f31768f1b221 b1ef7a3ec85404c96c4b02989c93710eb0f9d363 e05ac6c1d58904a63b7a98671f7c4a10b7cd2773735820fbde580c794b275d3f360e30a6d8376dcb f7c5cec25e7da1e133019a5ddbca98ad9c7924aa 182507163e45bbf725735e35871a5ba3be6c75e3 c792037e3d0f7486f079b5d2eeeeb761cbe56f95 87d272d7a214823a6656954e4786f6c505a2d5a0 f3c7b3a34f2f0d70bd66912d631894e7c954e0ba 32ff232b795685c34718f8e0db1fece28557f44e C Comparison_Sort_Lower_Bound