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  u tt ]/ FinFun:threads=2elapsed=5.815cpu=10.968gc=0.512factor=1.897zXZִF! 3]ŗXf1-q恈͐7ӺV }"cXH?c;MՀYxs!7wgJ&ؙ_d̖ú(p>`bd}: 96!e`?fKR]H>U2l|BGH7NvANf΃Vul/YJ5~($]'RUt;.(ۆ`euz1`_}%GY&3-`uH%V"O|V50@f-{ٻA>3x4L_*m^~){ gYZ7zXZִF! %k]ŗXi%6q;SLm]ymֺֻ@Aԍu H t:#błd.;st/m{+D+)Z 3 c+ 'Xp>"!7{.[[Y쥊*jO26M:Kj#dPS%};6h()Ļ"*~gE]0Qck8$m|9 tFB=ғ%$e@HAR!9I&i--B\bׯDu D,GQw)su`yu ϑ-+rP v\6Aol?҅EuTgq*6IBd %,p!*h弍)LL=_9= tm;SJl@FA$ͭ!us!tWt=aX2eXZ@_ 47 ЧxP@5,X඙N8-_II>11W"ϹG܅n%gJ)_^=GΦ<3N/񾱆W1@[Co8Mu3h!)y{kyFl q6y[u( 5'd[ʂXk&KPԝ g$p"~8h|Z+OxT鞘@έ TegrjIcύ %v5wKlWHV{wG uHJװgYZc06926e8adfa47f26b772e0279153f4e9664d41c1e0d760b8dcc7a202ccf9e071ca177b2d6e00047 82ffab2c85e2c69d04d032ee5f468652fc7921e8   FinFun