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 ? \ SS Imperative_Insertion_Sort:threads=2elapsed=7.055cpu=13.208gc=0.192factor=1.877zXZִF! 5m]ŗXf1-/6vRZ4%LB.$8qĀm3d6'RAQ/PwaкƾmُMѩ$-*iRX] z; 0[E&;1?_Ÿw? T 7^gֵ$ԮXlyIp6QRyVU2͋WbDͅjszV8eeR]FOa8x)ɔTJSQlk:u_L(/BԻ.Q.U9QnG(W2 Jz1Ț8x-&_C(5l͋<% 'E(}}4F~{9/<6/M(bL)*b!qZ0!nRdcV3N`g1!hng:eBq JP#9 d,'doNxVdGzƂKi `m6ץ\W)7DWj5}JE4(pšۨ\7856:̈́u;?T%iЛp)1`^)X!AǠ"PbFy`ZLȁh˨5o\&"MOB[[d&KJ ?%?EB]̶4f]aŢJyԢjqUW;dOgQ+'lNBVH FFb {A;!,v$Z;¸) Z0- f5eTЦ UnW,Ѻ54ӊ(';6TB (ܻ0եpц$7mLJ, } 9Tm&ȍׯ |ojc:I*6=GPV7_x;R_ ;(c3ʚǺIS=g{y[j+&rW_NtVģ2hVOzEa!Y'{a^].Z6$3+$H5y`5~$ tC‰( g#,[rYX5E9zT3hW WJQ8ڢ~ژMCi10}7%~Tq8@#&!i0@/ʏP~ő#yڦ#+/NiKRc)ߘ8f 76e`! 2!תt&rIFJW/tr')g- A{o&AFYZe7kKxc0}N\a-|ןeVQ;:r1Tx%TZgYZ1a498665aecc39f15d0fe79902f40663df6e938c 2f53e1e3627801fe5d76702d4e4508e026e7c97d cd4bc0c3c1e5d54326dc1e9dee1786ffd1cc65ca fdb135f8c8a2843ff70df4732d84992e346dc1b39711977f48cd7397b3b03ce4fb09271962469dfd 41ca8b1ef880b2caab86f2e624d077e228a12ed4 a1d4e989ad1a700e9d30ddaf5afc0202077fceef b2392dad5bcf67549e0e026f35eee67726d84b82 ? Imperative_Insertion_Sort