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? D< SS Imperative_Insertion_Sort:threads=2elapsed=7.569cpu=13.080gc=0.152factor=1.737zXZִF! []ŗXf1-/6vRZ4%LB.$8qĀm3d6'RA^G¡3H: cRNcĘP'sH0@dT?yR@v+K-·qRV>wI^ 2ۇ%C('? 97G*!)cկ*aD0J?fr',Du3,X~/7Uz{2ǛT9<'v]鱕; Yv$ُ.5}7gzS,PF~ʪ{ &e ij:3|D|=tgYZ7zXZִF! ,U]ŗXi%6Eu3 G29D),}7?2($~VXBcL,EpNK\LxnYŚR\Z5 -J<ᗢ料G6&U*txC\0wVO x( :Ըm ⼬. 0e ڹ2a mSn+^)6z%/ƗG6zeK;2Fu#h%~9FFذYΉ~ZczqAQi =\|TzΖ5 YRvdYvd0u *5 w?x`:U"*s7 tvaA)%8tӂ)R} *KHq0RF,M:.͆Զ:1d_GzYJ u"V]ޟO9Un۽αOi+DζJV`c8i A%Va&ІRL<1WC6MD)HbrODVOD,˪>=_܅8ԏD?Z*}nmN}bZo`<(ߴC[t.%$y`[kǣYjxR 8FSH{ùmsW%ӓ=Ժ:GdžHG ,۵2$4Fv!O59>ƓiB թ[>$IS+ߴ$Kf;(,}u(H؟KD#0:UtndؒW6Ztr;-u٢ǒ 7- iČ{{sG%Hט XU%L҈#`]mQ$ų9 rY˱gYZ1a498665aecc39f15d0fe79902f40663df6e938c 2f53e1e3627801fe5d76702d4e4508e026e7c97d cd4bc0c3c1e5d54326dc1e9dee1786ffd1cc65ca fdb135f8c8a2843ff70df4732d84992e346dc1b3e4688efe0911f3c4685119d2413b25847e9bdff2 5d7bb405983f91dc88fd3b9e15d11dfc028ed8eb d8625272701e7304f76db642b7fb0e61f9b07c0f 5357eaa5dc07b2623653240836722f985b552e66 ? Imperative_Insertion_Sort