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   `? ,\t ]S Imperative_Insertion_Sort:threads=2elapsed=6.610cpu=11.412gc=0.180factor=1.737zXZִF! 1O]ŗXf1-/6vRZ4%LB.$8qĀm3d6'RA^o%/ؕ\T7w$nZLWT2ѱ,jzyF"jҼHRnk]:3oim/O>S?2l9'IgYZ7zXZִF! ,2]ŗXi%ύw4Ʉ!hU3^HjH;+rWd)|Ir &#N'_)fA\NERhnYAW9AL IAι-Ϥ8_qf:>5C !0Fd?8gm/u`ܒmIF,Cҥr {ۻEsfgH3Ҟ7#Z eZ $3@ 틚AhB̸{sAx'Ёn2)6-d<Ѱ**F A9v&L* b]rWWK(|&x+ ,*qF~+f*GzM;%*_(N,u ERReCCPΩPI&[MW\oH0hsnFKABʫ* yD|?y6]8ʞ\ .tqXI8Pj&ZmcAjjjՋC6d*ѮezMΫXЦthpX',R?fM-1I d;*9E'ǿ4c81HGT^X)!_.֞̀M CR,O4e.ߧJw@F=`74Vݣ'شFE* 33Aj@h6h^Uþk#3~@q+óC};'7,;IU%=BO>]Aྷ C:ז37Ya̱gYZ34234bf9b6b008ee8871daf6aab78ecee27bdaa9d6ac031d3e88d65563eac5f02a097b7a1de9a7e3 f9599c72045408b4573575612b1544f97d3e8615 e9df4ac96aaa27df45a4820e2370310fd3189a3e 60e23bc5076223ba2a4793272a17b5930c502b35 ? Imperative_Insertion_Sort