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  79 D\< ]% Dijkstra_Shortest_Path:threads=8elapsed=53.425cpu=79.013gc=4.642factor=1.487zXZִF! Y]ŗXf[&)c*]`̀.vţMbr ?5TwVd|iuu1yVnr5"l[dTmyhtt OlilVsu(BPv~M|7 F+gۨ%eG?yz|(2Wc'n~ʵ40ĭ[kUI~%RӺ'Fjfm|$]j%W9m39rH4RqĈ4e=2)2lv;6Lb:M9ĞVZ4uSziSH7a%*]3-: ^㢋ѱ%mPL#B(.-6ؿJ 9 Dijkstra_Shortest_Path   }m784/!8kjpfBuW2.r* sΞ^lVuX-b`5f>u/s3Iʣhty~bN@>Tp2bUS>^qE#&XBD[ޯrJ,GNk^<롚ri6YX İďT^Q/!qŧQT2፪]&u ,:LWMڷ5a*'b:\c\%Q(q xB:}*2c<h#|/JMl9,&و" KmAN =խ ЩԤ6KVj!\wIrgI0R>гA2Cw͊J4[?,3}I8;VZm3w8*ܱgYZ7zXZִF!  ']ŗXiɟC3zto?;QŷȼiIV&_A~BHx),%s03鎫 ]̹m97B\Dշ3%%.`lc̅ߨܮ9E>d|5tsbCnlR Ѳ?w jF(e?8Uf͆:;&aʍ0I"D%U.38J$BVX:pE7Q8< n-K C 3-ĆI ov;w5?gYZ7zXZִF!  ]ŗXi%>t|qLػԿgG<4xpcc7<‡6 Tt?vT֞2-<5Ju |H~MZRP %y%(@׻m9#azSSnĬT'r}o\fЬvpefPvQ~Ps.mcIYlwhrtڐ0RW-?1T1R)O3ѥސЄyC-`d(Є"@tNH~ *l+θΑ=WF+e* %i*U 8|>g׾O1AykqWw}"mK &1xGj*ij@Q + ;F^ J)mw|o*Z2st~h$(q_'?ks%ḕ#zpY,n>q] δF&ʵ;!Vt~ \PW=5..9%BRj?gw4'ǡmy>AbΊ@?)!~֨0܀4b6&\jHڮ^upE!} V/·c)?O-7RA=m~C<z ]@ΘϏa bWMYkXIՓCSGlE2a.շK0.o=E2fr{hMo/5+xynt s -J'a3Ӏ\Ӭ#e}=8&M_b-X~Hܯ9ŽQwH,Bu[xhD2h!Ѿ5QbNFҞr';eaq![8-G[4 jCs (c U9 Ml\]I~8l 86)D2TS3Mxgd`68[r!Κ#U=kW.z{խhoʡOΨFզoИwkp?ȸA( ]^RgvUD.xVA35(5X 8 [h=[|L~Gj?FԐ~ND.?!ЅYؑ yŌݻ- lt0`&+fWxn+u!;6C?H*Ik4BvI~]o)gT|4ǔ%B'N;8lck}I qtk^z9Y dŶ'G!^U8 bVS)\H򖞞 i-,˖y׌tް{>4.GVR1L -wC[BJCBy(^}>܆|),y S4RZF$uX)Ӝ!EOqCߎ=OO۟ޓ7y&Dapd{K cm  <ST:R ܔ[}G `1O] Yc2()fCԲ>& ĵy@#9{6BK,>ֈ8vH4s8<o61aP9k΍X"5Txл(@1鱀fp*y{$}n4+tg?25,r@]e +ߪr$o2YGH=<@E{]_)v_'ŶEFa |!n%2h#d$[nwFToQa46 Vx ',m͡,-Cp-eUۉ4[bY5%?cgDlΨW$}SdW`†~!cJ(< hj#n)kt_+QqNHA 'L5%5;4WU*>65 x CjI&C[KW;AA¸QLz.BǛj+PY\4ЫR\ ncT+P }a"1™'Lԣ4POٽ"je0?gcQ F7|VKNw)ɏ4%'þ4 4ĶV!^5OZ{; vؑXRd8=+&+