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  ' 'V? ,< SS Imperative_Insertion_Sort:threads=2elapsed=7.732cpu=13.068gc=0.156factor=1.697zXZִF! $P]ŗXf1-/6vRZ4%LB.$8qĀm3d6'RA^G¡3H: cRNcĘP'sIax$pC]pDwqpyFoH4Y`Ia¨Θh]UW0^ ŏ妃ro?*uelo>];ىe0``N"|Ct\`ȟ6,77gथKׇr1g&%x Eymq$J *e|pȯ4a[h(P.JX#buՓgYZ7zXZִF! .U]ŗXi%6+d5&p>"'Bc {$x?p?Vʀ(ۺfwBQ7q!UClU^,_˨ep~s*{ե/H \sSoZ>>#$6ڗ,Fɝ&K[K%qBt.H_I5p8[Ri|gtm^b^r)$-}:/Mze9"ZƗAJM45X@c$4k4Ju AB/ P/a5*vl[=R=.> F"^fJQ*@@DFI:5o">P4g, Pxخ%+nBLs;hV,~/PjRK_ξJ}{aJ>GsjAJW28 ;[D"'BNIbv -; ̓bTA_ht~`]hgYZ1a498665aecc39f15d0fe79902f40663df6e938c 2f53e1e3627801fe5d76702d4e4508e026e7c97d cd4bc0c3c1e5d54326dc1e9dee1786ffd1cc65ca fdb135f8c8a2843ff70df4732d84992e346dc1b3e4688efe0911f3c4685119d2413b25847e9bdff2 e62d7733884c28c7fb0a292b7be70c4f22bfd1a3 e6f699f9602302a36e4385981d2a9148d31678b2 3cec7f3c9e762729598adcb5981a50690e706e46 ? Imperative_Insertion_Sort