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  5 5H? \l ]S Imperative_Insertion_Sort:threads=2elapsed=6.929cpu=11.240gc=0.148factor=1.627zXZִF! ;]ŗXf1-/6vRZ4%LB.$8qĀm3d6'RA^o%/ؕ\T7w$nZLWT2ѳp\w^ ׂ׷[p6o? };eM*K\k'YtDFYCG >Xe@v*ʪAc\,'r$%V6Y^tYy =Ҫl'fdwc RrBuSmb"aJf5g⌂w':M"wj=^PrJYgYZ7zXZִF! h]ŗXiɟR\]/]ŗXi%q޽<bÙ02HMy䳀6Xa37ZɇW :J6P^x>2` {ƽ[[ 8ڨJPyJ "b*=q _ ^`ʝQd?d[H i-:LK=\&R##832J[aֽ֭ I0KZGqO㭕kƠIFcϮ}]!UdOC&2wh3E\+/C1lX&*yẬa⪪:2(Va )LnHQ 3lj1`I61!x[/6-b|JZ~nXn{3F&|*f3ݔmuGeu_+F7=&k],HyΟ&m"]a}$Vvm =ʩiWUo5JHwxL/AW G5 .ceH.1L!X˪)jfB yz"^.K {&QTa2ݪw#瘨k/Jɶ~(^! ПS&SzW2ؐ& !n_m4ƵF앯뺡|^}Aaz>OфE)# v BҊXz^Pc$ڙ{ogɽ|+.֮a,5Ym'p4.p)FnemPk9}+>FnB;cKֶhi}3!2=`JIE1d Tbx9gYZbc3bae29b2811f7a3531c7204fc9bf5e039e2d00d6ac031d3e88d65563eac5f02a097b7a1de9a7e3 ffd3c2f455ccf76046f1a522696b8fe123ec936e a6afcc2426fd6b701d456a4f4e00addedffa6cfb a6d696135fd680b3f40d3728996150e0f08b8009 ? Imperative_Insertion_Sort