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  39 DLD ]% Dijkstra_Shortest_Path:threads=2elapsed=65.508cpu=80.596gc=3.992factor=1.237zXZִF! ]ŗXf1-/6vRZމUaHz..pA2`-*5",Z l{闸 ;-XY+\mKGz ,v^J=3vanVf %~xBmzDCB~.ѮPԧF(<ňORgtpᙹَ: ͮV+nJ)J&yD'[A 0"ጺŒ#-$&i2o@u 2pI\ 9$FWV?,qw 9 Dijkstra_Shortest_Path  Zץ:M*mң\0P#d`&rsE&/l6Ae[̛:pGͳ*Ee`nˑy]q)XOW+ і mmiPYip;ܠ( H´-*8-Sgjbo0qȡf6˔0x.,2sMzZO|A/@mMA+XgމGt<ԆvDW.7_@&)gYZ7zXZִF!  ]ŗXiɟC3zto?;QŷG'&tCe=˿'K<+u91NG Og-pleTvܵOd@Bm}ޅ=^Jϡ H Tu51@[4\;o{3{1S;MbۦYΧ0$+2U% ")7#$w>i_a#\O}qw#?F >XC$[EjMtZAk FsKCN%9N'D|XgYZ7zXZִF! F Z]ŗXi%>gLqH&&Ǒ5Rr:džh t"kІPռ!XĺҟAA1E?;=s }\b2 jl9 \sdJƯA46˞k*#ז*#U/}77j"d;m_!F@?TɻK:  #]j;zSzOvؼJYX+&{|b:87DgH6Uo`Ĥ*lďOB `Sni)@򕐋[-e$N51Ǝui]=`kr\6'6/W9Mzf?sT]#w ֐a& F?BH+<W\9?47yII]YOAƮDtI9.7Wi@-uدZkԓiИa^{\>CQo{QVAr W6`s_m/Lk}ZWdph(3|"<ND'P$FW#/0"r,<VCCˬԱ )U.Ԅͮ4W÷-+5Il~ <a9{d[@ QE9CiߓRJ3L¢O} hŹ$k.!ji3Iq[9`hFz|Fbf֪V}{djvݭ:|+{&g@gqډ_A+qY&/xHSekƬnt\KczB^: tE@T85$^f th'˯([ڦA7N{:۾c$-:GG+<ƅ0,#} ԴppW#S@q25IbЄ6D&RȀt| it: W$H)%0s f5$"@f= ݇LQ0fPw5[i*|Qΐs2'X oN(7'#py4E?dU7'qW]F[NE4 ]pt&ex 9V\z4%#(= yeqn 3͘Ƶ47vW|˽TyM <]pY=RTe)w\8qx= ֖%r)."ESNxcvqT!^"=`Y?2R!Y*$jHx[T XqR׊u"5DU&C`.FDFgYZf5b964c9e050a19e967f10fb1f813f1dab411f9aa70f3b1dab78f27422c2c199c67ce3165c51f78c b7ea345064e6ade7544c71fbd991740359381db8 6b8c07c29be9e22268dcfe432d5c0c9b09163bca 083f9902691e545c91ca63c0f3e471bde55c6330 7cb875d988d1e3bb7bbde6be5305b3f83e991f63