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 ? ˊgYZ7zXZִF! d]ŗXiɟR\]g w6yJ=Cs!1 sE6r&䆒_8n|ø/ׅj"e v5`KYl"X!n,ePNȾ(ZCh>N7G2/!Q<`zE7tk]-Mm"Ti"Q~+[;rS(Qp$bM(އ&󇠾?VC6>/YgTp-Jog+,F/q׊b0M/3s/N$6KHۆ[Ub f=ǽg-ɈNNg $pkhY* j™uw>43j잝Ӯ )NF?SĢ[6$ DfG=·Tԩx@ 3J1mXjd o+d3ֱpaCtM) lc$I O)|oӨt;)YzJ=a\J_f+GοR۔v$N)`mbئFM.NKPAwXkFuA3Ătw^Oa\5h:E}2 hQMȩ?%էtIZͩ_{ -hcS^] jVc2!n*b Gmw 14?l>d'Ȣ^Ƕ,^ z!%akrO]ay#rӠ`|@)>ĭbSv W(# OP6%f^#-rVd"\l~o{̋O'+[;{s@LXXo~s7^/0["gYZadf0418774025c273a95aaa1e6a58b2f682ea4ce665af98eb5b604629a3a80f1bd6c88145ac43a21 27625c6a71bbe28fc0d93a17cd760af834a4e6e7 ef4af5ed7faa41a9d8d5237b72eeab989fb81c0b 81c591b617156757571c99384c88cd102561981a ? Imperative_Insertion_Sort