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 ? <\4 ]S Imperative_Insertion_Sort:threads=2elapsed=6.587cpu=11.396gc=0.172factor=1.737zXZִF! U]ŗXf1-/6vRZ4%LB.$8qĀm3d6'RA^o%/ؕ\T秒h89VX{vXh797A, ֥G@ǥ[=^6P_=TIĽQ8'㝔_l2Ы-;ņzٲc-JY|qGom%5{Taqi8w4fɸ,@īiC6,0gynJ܃RKgIέ`hs꙽u:p{r tԤNmi sڮ}cpru!f%3G+w:Y0KgYZ7zXZִF! e]ŗXiɟR\]h ;w4=Wfq|Ր=f5,psWk#gYZ7zXZִF! .T]ŗXi%ή++tIzS%i;o#VhfB$X vo_{GN끝eyYL>'>fy- D1"@O¨@R_TJ )SԱ Y7}:?޴)[ #fy8UdD|SB;D\E?P|ĩœUw#x1ŠUox.8S[\MJBgl3}7ą MnoѼ*p\~%csBm 3qI]?Ly5.۝2Z&D";̓c>\Ѽ-JDK3x'Q+>B6~1r\_F#V'ąc,|8ubN&!‘(G|8, -R_}K:?QӎŽA;W}l$]. oJECJẗFԌ 3cگ;#SF0B-{*.iTG} 6TѣcA Zƈ`G뛎bȫ-՘R 05}S% $ifJA IHfE,TQ6Xu-,g>Ր@O-jqoCP~V:5{r,6+#NE qɋ.}.8 ):KTvr,9;I]/PEY|(đJ$/eMz:_HeK;Hu1 \dG/a]4 AgYZ3f5ed8bb6349f6c55e93704c47bf2b8ae8b228f700b13affeca8329065e523557b07861f9da96370 de656be5c82664d2d06f9d4f4c7a9247323f4c02 90fdd132dc269b22477e61acedc69f01f576d41c 549a38eea336641e68dc4e19d477ad44545385a6 ? Imperative_Insertion_Sort