SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_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 4? 4\ ]S Imperative_Insertion_Sort:threads=2elapsed=6.164cpu=10.540gc=0.184factor=1.717zXZִF! %T]ŗXf1-/6vRZ4%LB.$8qĀm3d6'RA^eZΠeTSik= d|zc̣gL"%5'kK(5IQCpkOWDVQP_~*3QqhEKA w5(\U KuaUp;sfwR|U'cC>s๻tۈJU5Hc~_Ft%~dtٮ]v:e6^QAǮ:5{(=ja¿y`m'.bZrZ!zU\[aI<'ձgYZ7zXZִF! e]ŗXiɟR\]s_pKg_X>nq!*"bQHߋSf9_#M0lKָ?NRũO;+" #V$|ulg$`(ʹ__+>:4%D%\e-w^םDkkpu642+9E=viMt53xcH9&Q~@l@J?1j5"fL*HI:wZ_?9>VJytBM, wd-\DNеjJ6@r CA̓}P>Цf٨YQQ=4p}4gdzcB(ī)$;nnd'`tbQ SP p{TBzxӉQMa٨Ыsb봜RoJWiA=kU2=A_gc>P܋/O 8*hB92GH/Wΰ'ukpq{¨υE"I-%֔FL<>$CC  iwagA9P⟭ SԜ닩nMcoztA &n~|:c i 7'y۫}%z\xZ6~,aHȸceYs(u=&j7Q[KgYZ24ed3227ed462773ff2e262a8fae7c74c479db3b665af98eb5b604629a3a80f1bd6c88145ac43a21 5144ebd7f8a7159ba53f7601bdcfe133b83a40ee 86aea4174b1d0393ca3ab4a58bbf0589befc3a01 97349cc847d209f74e795f49dd9dc869a66461b6 ? Imperative_Insertion_Sort