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   b? T, SS Imperative_Insertion_Sort:threads=2elapsed=7.534cpu=12.792gc=0.216factor=1.707zXZִF! b]ŗXf1-/6vRZ4%LB.$8qĀm3d6'RAQ/PwaкƾmُMѩ$)tXT"LBO[PT] RITԊYočx=Hr.\ƺ wk*LiYe y9Z7 JM}Eqϣ'k٤D λN 5X&LE_-xqv\H"6Rth3&CD4v6 J]Xd(l4[wwv=5T3t<t*Ɓ& [Bi ~Smxf$q4KM/8L``HvWodDq>gYZ7zXZִF! .O]ŗXi%{{C{DAq{i6 6Zu\adQ* V%J"Uѹvr|pKGh}u5,O]t]#Î)JӍ^h&hO C/R~G#EBْ}qq"BAV2`Clⲿ漥.^bY YY 4[ \h3IG@FD OZ ,s:`^ǛƱ=QGy BxP!L|F@FƤ +mS6X4 )yjm a:Afa?p ew mٲ~zb@HL' ͝C(~6 Z+||\voM-Ҕ4M/$趀hmGs]KBp玦JQ(ڐ/]/B4Sw*ٖ<v`РbP\6Y!guҾ蜨ϥ8Zk'?֨*~d/~HƒZUc-K; h۵vFGV=@`#6ZKF*P:Dmc9,uf,#>A9҄2q1̑q`sLYNK̲]Unscn6+{ֺF^It@(:Mq)rsg`QkpCr:qB .˭PM-iͲ/Md#JfQj;wߞ%Ќ|hnrd矿 RwCR$]`±gYZ1a498665aecc39f15d0fe79902f40663df6e938c 2f53e1e3627801fe5d76702d4e4508e026e7c97d cd4bc0c3c1e5d54326dc1e9dee1786ffd1cc65ca fdb135f8c8a2843ff70df4732d84992e346dc1b3735820fbde580c794b275d3f360e30a6d8376dcb f7c5cec25e7da1e133019a5ddbca98ad9c7924aa 182507163e45bbf725735e35871a5ba3be6c75e3 e2ad34cf26c0db17c673e736aef8c70882478ad8 ? Imperative_Insertion_Sort