SQLite format 3@ - llB77#tableisabelle_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, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info %? d$ SS Imperative_Insertion_Sort:threads=2elapsed=7.091cpu=13.176gc=0.204factor=1.867zXZִF! 4]ŗXf1-/6vRZ4%LB.$8qĀm3d6'RAQ/PwaкƾmُMѩ$- }إWI,ĕ8d1cGJu2sB֝+Dž]cDvR; 9c? ? Imperative_Insertion_Sort)CuTdVwe`., 0%49f#}ٯV h߅zw6B/+CQZ-|Jv -|pi+8eD4<%;aV)/CmwK.~is _~d}uJX& ^jOPd/5Ӆrgc+Τw`iT |3(O9;!~"4qH5f؝9ٹ|n$&Myvc1~3?EbP1;r>\誕5:.Y=(( 4EH)td6%1Ү? ,v^։Ua/ tH(UFlAޔ6!/X&dV|ZꝽţjH=ilwgYZ7zXZִF! * K]ŗXi%SN*5Xq@k$P ,NãA,|-`yͿ"C~q&0Ok8 6@ҰJ|}qWuI-+U5ދpK {h 6Y2oGlYH-sa$W=^{Z[x0 B]F_(?h!$V2JjtiFtU3lٮh Mw 6G'7#!%esESop}\lc^~ؙdCvhõhDf+Pc3R}a oZ0GTlOb{m+7As>ƨ/!<ő =EN}% \zbV|W:d~f \/OP[|dy KpЀNYQ n'a'cO}Vgށ!,E#{zsH5IO8:FDFѢz m׮V3Fk4W֟e@44g3y<]C;!e