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 TT) t$$ ]w]Routing:threads=2elapsed=14.904cpu=26.624gc=1.000factor=1.797zXZִF! ]ŗXf1-/6vR[Oq-GSɴFyU ʧJR@Ef2Z${F 8^R=!_Ri]bvhp\R xrJq: m'pY)d@/8k ԁqUu̷JgJub?i@;$Ackj Ց2c"i# jA[ݢӅy"mz7?s3@WY1R#\-.`jف(57z`2q#3SZUUwgYZ7zXZִF! V:]ŗXi%>g]m nߩՕG,0+㴿Wn#D@l4_Бu䯡,NĔ*ЙnCI&Pf/|mB@Y։n 7St/^Xl5&fro™cpv \y}Ti5xQQ>{)(l:do!K yR^Ioy~C;kCm >=#|}iy1{l@uƙ@lS_xA2B'afnŬznyxzwP>4/v`@\> KFaDf1<ϋ$jP"72`uze"M28k! 젢W]@ 7<ғ!4 3oC{n|xvq;!0%0b: \ήشS4KһI5Ѡp*3u;J,l9-qGFgޙ`%$_'MMKN$5zI5lv._i] '^$,}h̶uesw › cpWB?uK]RădQ* o7HE0lI@q&}z>@NfDjfˡ&_x 9GAAZz#ڡ[ T6 W[%:+ZvŃљD>!ej/X t `ʂ"$Jxvgzu#Ηq-wbkn Зl+/lɰ~CJ0x vHa7ny'QZ R gYZ11812ebd430531674bfe1b7140a9541d9d3d57d997833069aaf33e80bb8bfd493abc152a39f1dded dc78b241718cbecaa21e6c3d43f6dadbec9225f3 16c07ab52060a1877247247ac947f7478297781e 493a0989fe4d5017ef46d01316cd014202e829d5 e004d8c5bef186356d81b03d19f6ab8cb02e2f35 810840813f6e98ef6acaf0358a8e58e96ce60271d7a81251d39ccd81703cdadd8078d50a75eed445   Routing