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  , < ] IOA:threads=6elapsed=7.691cpu=33.596gc=1.516factor=4.377zXZִF! P]ŗXf1-qN50^Xݾ V'褃)*%\i` ,;K φ]!Ȃޮ^k 堮g :W(TC?[UB(C8ĕI3R}kw#,nKTLC17h[)  <^ߥ-`OEƶX'ִ:r+TooV/Ua5Yx54%[^"fثRU rI-tUXWI @!r%.;cѺXݢ^aaV@GjZh|pQ%ES3Nzԙ{K*Nzdž$ZX =?ᠶGGkvJ~MdP5OALЏ~ ZcnoGٴeJf WSckنo?s$ZM_ < G>;{1޴Gm/аO~h_-qj|:*Tᅥ51sc#k?gYZ7zXZִF! `]ŗXiɟdN'LvH۹$OdoIu:=(۶ m1ȌYAYj w ^ i^&}-6Kl3؛5‘}tIdv= SWrtǢ@skT #ٯ }'|4 :a]8Ʊ"laゲJZI7eZ' ] gYZ7zXZִF! &]ŗXi%>mI9KdY O±dZ-0O#-I5W$\#?8h9@3/^7FlHϩ1w@ټA򎺼Yo˰ѠDuܦq5yz[s?-1=x$zM_Q\fHcw aB@"J+Ecnpt}g7;Sಞ4 Mq\^ƍ nUN$byDrM0"iX=ojOy!$JNąTmp}V7Ipо_OƋt:L"VrzIU`u5pÈDB1 !yլp[@䓂p%. 6Q8 d%lIp#gဇ#qhGޢJҒʕ+ZG/Foh對^F!y,C=KK4l}h|lKp~]aRUExF} 4b[ 9,m]"BNDt 엡0T+1_OMgYZ38a027e42e83369bfc203f50edae1c5f8ef05d86f446f03595bcdb30e30624659ca93892e4038ac3 d314e9ddc2049cadadddb9589ed87cff70c95a7e e3bc4060141426b86909b62ff823b2cb1272c8ff  IOA