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  2 2C9 dDL ]% Dijkstra_Shortest_Path:threads=2elapsed=63.905cpu=80.040gc=4.264factor=1.257zXZִF! Nj]ŗXf1-/6vRZމUaHz..pA2`-*5",Z l{闸 ;-XSIfmxcas{yI)ȵ]̅>8bHiZ~Sih~BTWm\'}Ԍ +ZMP"hKYAR(Z_(y5gp VZ$[%&؂&8-ېQDv=b텀WSϗ Vz cbHF"CX|, `yd,},[HA]lx%l4\෻ ˆ0nQv27'uIs#N MXaO$Ia"uH7, E*&8@F3GFDȱ㴴dQmSiAq_d3{]ďuَ"HWqh_k&ig4a~鎎vdSŬlrkR`9;!Ը`2ӢȎ3tL;F 9 Dijkstra_Shortest_Path  4AۋeJXPjC^q"0i_hpSmdVӻ}7kOBy/F.g^K'w d/a|N~$Fv M I Im!9! Xc d@ƃFmi2HB ?C CL]FRo Et\wEE$ͧT.rפqNd>1t%kԡ`N"q(+0MEY-6ݑwd:5DR}lңe墖+6fK5SF<úgYZ7zXZִF!  ]ŗXiɟC3zto?;QŷG'&tCe@. $c(e K6p]ut0+ [u`> ˪hy:j=QX@N@}^B:^ɣgflL2H,}"-N[.gg[x ͢6%1qEfn Y_pphj;Џ$LX" exy PFFYn3śMEs2jw/ܱgYZ7zXZִF! =0 ]ŗXi%>ge5s ={ob U)mW72$qt_rVbWG;701䌻W oP4W݄Mk6j7wGn,HuHi?1flDJYW?f۞^jV,$M̩rF㋌'& &]^_%d|hI(k e8be>(V;op$iG~hywYsI8FR;/iZ@Ҡ𤋟\Ny[;Y8w-ك !9o#?FeuBa}.%a1r wy)Q7 '(oԻe<į٣9%ZPpH@ ~z(D> |7:sXMDW JHrp7PS{q7Ⱥ1UTH'k([Š,:b_>&0M=9cnԘCq K3:ћSfM ff!_u}w:m-nn赀wX)|`/JT{)KyP/Y4G=bq=(xY2z)/"'_l!D*BgΡ"k7SJvmE0eY4O-vcudPܧ#39?42>Oe v#wKj a QW#JÚOZSxܶ~w})"f=ߠۂ-3Ѣ jN"uܶpӯA,ǔEeGptI*Oną"aUF,IjaEx L܆W(ΑХݠG],' 6fZ/!㚅H%yY"6 w:ѱH I;lIK0%ee߁-^m5B|74*S{]i`:^~soIq3mrF S_놷lzVj} J'z 2 1dxӶgb~0w=JBwpl ?3mV;UI+ 늾E:] p/3;3߁O2ե*Ȟ1%~^)Mg~Ju'aR{up|׃wsNXn@laȑiUJK9Вb4!$iΥ,sf,zPi!FE_hQRg\~~P^:I(PxX5Ek[e /dS_uz§;dJ\FB`',r}Y/M^ķlQtt\3XFSW^)49CkxA9Fz6=9cV3dLz]{eGJU=q$@U7S։;C!;, ԑ.CDlm16-|Av^lP]eZ/[{Lg)6Iw{IW5 kЈҏIBJfA$ws瀯[$*5_e`:=A$]Tl fX`+B-rlw!l,ЇI!-3Y/qHKEN?baf3@uq^PۊRG¬VL& ư+ Nκ1'*%eS Gal?{=;1:fQm